See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Ahti Peder

https://www.etis.ee/CV/Ahti_Peder/est
29.08.1976
737 5482
ahti.peder@ut.ee

Teenistuskäik

Töökohad ja ametid
01.02.2020–...   
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut, informaatika lektor (1,00)
2001-.. - arvutiteaduse instituudi assistent
01.09.2019–31.01.2020   
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut, informaatika lektor (1,00)
02.03.2016–31.08.2019   
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut, tarkvarasüsteemide lektor (1,00)
01.01.2016–01.03.2016   
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut, tarkvarasüsteemide lektor (1,00)
01.09.2014–31.12.2015   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, tarkvarasüsteemide lektor (1,00)
01.12.2011–31.08.2014   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, tarkvarasüsteemide lektor (1,00)
01.09.2010–30.11.2011   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, tarkvarasüsteemide lektor (1,00)
01.09.2007–31.08.2010   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, tarkvarasüsteemide assistent (1,00)
01.09.2004–31.08.2007   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, tarkvarasüsteemide assistent (1,00)
 
 
Haridustee
MSc
2001–2010   
informaatika, Phd
1999–2001   
informaatika

Kvalifikatsioon

Teaduskraadid
Ahti Peder, doktorikraad, 2010, (juh) Mati Tombak, Superpositional Graphs and Finding the Description of Structure by Counting Method (Superpositsioonigraafid ja kirjelduse leidmine loendamismeetodil), Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut.
Ahti Peder, magistrikraad (teaduskraad), 2001, (juh) Mati Tombak, Metamuutujatega loogikavalemite translaator, Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut.
 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; TÄPSUSTUS: Boole'i funktsioonide omaduste uurimine
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS KLASSIFIKAATOR: P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria); TÄPSUSTUS: Kombinatoorika, graafiteooria, lausearvutus ning loendamisalgoritmide väljatöötamine ja nende keerukus.
 
 
Lisainfo
MSc
Tartu Ülikool, 2001

Lõppenud projektid

Juhendatud väitekirjad

Publikatsioonid

Klass
Aasta
Publikatsioon
 
2.4.
2017
Peder, Ahti; Kiho, Jüri; Nestra, Härmel (2017). Algoritmid ja andmestruktuurid: ülesannete kogu. Tartu: TÜ Kirjastus.
5.2.
2013
Tombak, Mati; Loorits, Neeme; Peder, Ahti; Vohandu, Leo (2013). Pattern Matching for Superpositional Graphs and Separable Permutations. In: (64−66).Eleventh International Conference Permutation Patterns 2013 Paris, France. July 1-5, 2013. Paris, France.
3.1.
2012
Võhandu, L.; Peder, A.; Tombak, M. (2012). Permutations and Bijections. In: Jaak Henno, Yasushi Kiyoki, Takehiro Tokuda, Hannu Jaakola, Naofumi Yoshida (_EditorsAbbr). Information Modelling and Knowledge Bases XXIII (419−437).. IOS Press. (Frontiers in Artificial Intelligence and Applications; 237).
1.2.
2011
Peder, A.; Nestra, H.; Raik, J.; Tombak, M.; Ubar, R. (2011). Linear algorithms for recognizing and parsing superpositional graphs. Facta Universitatis Series Mathematics and Informatics, 24 (3), 325−339.
3.1.
2011
Peder, A.; Tombak, M. (2011). Finding the description of structure by counting method: a case study. SOFSEM 2011: Theory and Practice of Computer Science, 6543: 37th International Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, 22-28 January 2011. _EditorsAbbr Cerná, I.; Gyimóthy, T.; Hromkovic, J.; Jeffery, K.; Královic, R.; Vukolic, M.; Wolf, S. London: Springer-Verlag, 455−466. (Lecture Notes in Computer Science).
3.2.
2011
Peder, Ahti; Nestra, Härmel; Raik, Jaan; Tombak, Mati; Ubar, Raimund (2011). Linear algorithms for testing and parsing superpositional graphs. Facta universitatis - series Electronics and Energetics, 24 (3), 325−339.
3.4.
2011
Peder, A.; Nestra, H.; Raik, J.; Tombak, M.; Ubar, R. (2011). Linear algorithms for testing superpositional graphs. Proceedings Reed-Muller 2011 Workshop: !0th Reed-Muller Workshop, Tuusula (Finland), May 25-26, 2011. Ed. Dubrova, E. Tampere: Tampere University of Technology, 111−118.
2.3.
2010
Peder, Ahti (2010). Superpositional graphs and finding the description of structure by counting method. (Doktoritöö, Tartu Ülikool.; Matemaatika-informaatikateaduskond; Tartu likool.; Arvutiteaduse instituut; ). Tartu: Tartu University Press.
1.2.
2009
Peder, A.; Tombak, M. (2009). Superpositional graphs. Acta et Commentationes Universitatis Tartuensis de Mathematica, 13, 51−64.
6.7.
2007
Villems, Anne; Goncharenko, Mykhailo; Christian, P©Þivi; Peder, Ahti; Savastiyanov, Volodymyr; Jaanus, Martin; Sepman, Siim (2007). E-õpe e-riigis: strateegiad ja tehnoloogiad [Videosalvestis] : praktiline e-õpe meil ja mujal. E-õpe e-riigis: strateegiad ja tehnoloogiad, konverents(2007 :Tartu). Tartu: TÜ IT Multimeedia talitus,. (TÜ Filmiarhiiv).
6.2.
2006
Peder, A; Hein, H; Kimmel, L (2006). Objektorienteeritud programmeerimine. Tartu Ülikooli Kirjastus.
3.1.
2004
Ubar, R.; Vassiljeva, T.; Raik, J.; Jutman, A.; Tombak, M.; Peder, A. (2004). Optimization of Structurally Synthesized BDDs. Proc of 4th IASTED Int. Conf. on Modeling, Simulation, and Optimization: MSO'04, Kauai, Hawaii, USA, August 17-19, 2004. , 234−240.
3.2.
2004
"Jutman, Artur;Peder, A.;Raik, Jaan;Tombak, M.;Ubar, Raimund-Johannes" (2004). Structurally synthesized binary decision diagrams. In: 6th International Workshop on Boolean Problems, (271−278). . Freiberg: Freiberg University.
6.2.
2003
Uibo, Heli; Jaeger, Jaanus; Kiho, Jüri; Palm, Reimo; Peder, Ahti; Puus, Uuno; Salumaa, Priit; Tõnisson, Eno (2003). Programmeerimise praktikumid : algklassid. Tartu: Tartu likooli Kirjastus.
6.2.
2003
Palm, R.; Peder, A.; Kiho, J.; Uibo, H.; Jaeger, J.; Puus, U.; Salumaa, P.; Meho, I.; Tõnisson, E. (2003). Programmeerimise praktikumid. Algklassid. Tartu: Tartu Ülikooli Kirjastus.
3.4.
2001
Peder, A.; Isotamm, A.; Tombak, M. (2001). A Meta-compilerfor propositional Formulae. Proc. of Seventh Symposium on Programming Languages and Software Tools: Seventh Symposium on Programming Languages and Software Tools, Szeged, Hungary, 2001. Szeged, 250−261.
23.04.2019

Ahti Peder

https://www.etis.ee/CV/Ahti_Peder/eng
29.08.1976
737 5482
ahti.peder@ut.ee

Career

Institutions and positions
01.02.2020–...   
University of Tartu, Faculty of Science and Technology, Institute of Computer Science, Lecturer in Informatics (1,00)
01.09.2019–31.01.2020   
University of Tartu, Faculty of Science and Technology, Institute of Computer Science, Lecturer in Informatics (1,00)
02.03.2016–31.08.2019   
University of Tartu, Faculty of Science and Technology, Institute of Computer Science, Lecturer in Software Systems (1,00)
01.01.2016–01.03.2016   
University of Tartu, Faculty of Science and Technology, Institute of Computer Science, Lecturer in Software Systems (1,00)
01.09.2014–31.12.2015   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Lecturer in Software Systems (1,00)
01.12.2011–31.08.2014   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Lecturer in Software Systems (1,00)
01.09.2010–30.11.2011   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Lecturer in Software Systems (1,00)
01.09.2007–31.08.2010   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Assistant (1,00)
01.09.2004–31.08.2007   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Assistant (1,00)
 
 
Education
MSc
2001–2010   
informaatika, Phd
1999–2001   
informaatika

Qualifications

Academic degrees
Ahti Peder, Doctor's Degree, 2010, (sup) Mati Tombak, Superpositional Graphs and Finding the Description of Structure by Counting Method, University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science.
Ahti Peder, Research Master's Degree, 2001, (sup) Mati Tombak, Metamuutujatega loogikavalemite translaator, University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science.
 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS CLASSIFICATION: P170 Computer science, numerical analysis, systems, control ; SPECIFICATION: Combinatorics, graph theory, satisfiability and counting methods
 
 
Additional information
MSc
Tartu Ülikool, 2001

Completed projects

Supervised dissertations

Publications

Category
Year
Publication
 
2.4.
2017
Peder, Ahti; Kiho, Jüri; Nestra, Härmel (2017). Algoritmid ja andmestruktuurid: ülesannete kogu. Tartu: TÜ Kirjastus.
5.2.
2013
Tombak, Mati; Loorits, Neeme; Peder, Ahti; Vohandu, Leo (2013). Pattern Matching for Superpositional Graphs and Separable Permutations. In: (64−66).Eleventh International Conference Permutation Patterns 2013 Paris, France. July 1-5, 2013. Paris, France.
3.1.
2012
Võhandu, L.; Peder, A.; Tombak, M. (2012). Permutations and Bijections. In: Jaak Henno, Yasushi Kiyoki, Takehiro Tokuda, Hannu Jaakola, Naofumi Yoshida (_EditorsAbbr). Information Modelling and Knowledge Bases XXIII (419−437).. IOS Press. (Frontiers in Artificial Intelligence and Applications; 237).
1.2.
2011
Peder, A.; Nestra, H.; Raik, J.; Tombak, M.; Ubar, R. (2011). Linear algorithms for recognizing and parsing superpositional graphs. Facta Universitatis Series Mathematics and Informatics, 24 (3), 325−339.
3.1.
2011
Peder, A.; Tombak, M. (2011). Finding the description of structure by counting method: a case study. SOFSEM 2011: Theory and Practice of Computer Science, 6543: 37th International Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, 22-28 January 2011. _EditorsAbbr Cerná, I.; Gyimóthy, T.; Hromkovic, J.; Jeffery, K.; Královic, R.; Vukolic, M.; Wolf, S. London: Springer-Verlag, 455−466. (Lecture Notes in Computer Science).
3.2.
2011
Peder, Ahti; Nestra, Härmel; Raik, Jaan; Tombak, Mati; Ubar, Raimund (2011). Linear algorithms for testing and parsing superpositional graphs. Facta universitatis - series Electronics and Energetics, 24 (3), 325−339.
3.4.
2011
Peder, A.; Nestra, H.; Raik, J.; Tombak, M.; Ubar, R. (2011). Linear algorithms for testing superpositional graphs. Proceedings Reed-Muller 2011 Workshop: !0th Reed-Muller Workshop, Tuusula (Finland), May 25-26, 2011. Ed. Dubrova, E. Tampere: Tampere University of Technology, 111−118.
2.3.
2010
Peder, Ahti (2010). Superpositional graphs and finding the description of structure by counting method. (Doktoritöö, Tartu Ülikool.; Matemaatika-informaatikateaduskond; Tartu likool.; Arvutiteaduse instituut; ). Tartu: Tartu University Press.
1.2.
2009
Peder, A.; Tombak, M. (2009). Superpositional graphs. Acta et Commentationes Universitatis Tartuensis de Mathematica, 13, 51−64.
6.7.
2007
Villems, Anne; Goncharenko, Mykhailo; Christian, P©Þivi; Peder, Ahti; Savastiyanov, Volodymyr; Jaanus, Martin; Sepman, Siim (2007). E-õpe e-riigis: strateegiad ja tehnoloogiad [Videosalvestis] : praktiline e-õpe meil ja mujal. E-õpe e-riigis: strateegiad ja tehnoloogiad, konverents(2007 :Tartu). Tartu: TÜ IT Multimeedia talitus,. (TÜ Filmiarhiiv).
6.2.
2006
Peder, A; Hein, H; Kimmel, L (2006). Objektorienteeritud programmeerimine. Tartu Ülikooli Kirjastus.
3.1.
2004
Ubar, R.; Vassiljeva, T.; Raik, J.; Jutman, A.; Tombak, M.; Peder, A. (2004). Optimization of Structurally Synthesized BDDs. Proc of 4th IASTED Int. Conf. on Modeling, Simulation, and Optimization: MSO'04, Kauai, Hawaii, USA, August 17-19, 2004. , 234−240.
3.2.
2004
"Jutman, Artur;Peder, A.;Raik, Jaan;Tombak, M.;Ubar, Raimund-Johannes" (2004). Structurally synthesized binary decision diagrams. In: 6th International Workshop on Boolean Problems, (271−278). . Freiberg: Freiberg University.
6.2.
2003
Uibo, Heli; Jaeger, Jaanus; Kiho, Jüri; Palm, Reimo; Peder, Ahti; Puus, Uuno; Salumaa, Priit; Tõnisson, Eno (2003). Programmeerimise praktikumid : algklassid. Tartu: Tartu likooli Kirjastus.
6.2.
2003
Palm, R.; Peder, A.; Kiho, J.; Uibo, H.; Jaeger, J.; Puus, U.; Salumaa, P.; Meho, I.; Tõnisson, E. (2003). Programmeerimise praktikumid. Algklassid. Tartu: Tartu Ülikooli Kirjastus.
3.4.
2001
Peder, A.; Isotamm, A.; Tombak, M. (2001). A Meta-compilerfor propositional Formulae. Proc. of Seventh Symposium on Programming Languages and Software Tools: Seventh Symposium on Programming Languages and Software Tools, Szeged, Hungary, 2001. Szeged, 250−261.
23.04.2019

Otsi projekti

  • {{item.Name}}
Asutus on projekti finantseerija   Asutus on projekti teostaja  
  • {{searchListItem.Name}}
Kõik   Tavaprojektid   Ülemprojektid   Alamprojektid  
Uus Frascati (2015)
Uus ja vana Frascati (otsing uue järgi väljastab ka seotud vanad)
Kõik
Käimasolevad
Lõppenud
Algus
Hajus
Täpne
Uus otsing (Beetaversioon) Lihtotsing Tühjenda
  • Leitud 1 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
MUUSMTAT03043/44IKT erialade tugevdamine, praktikumijuhend aines "Objektorienteeritud programmeerimine"01.12.200501.03.2006Ahti PederTartu Ülikool1 140,82 EUR