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

Härmel Nestra

https://www.etis.ee/CV/Härmel_Nestra/est
19.03.1974
737 5428
harmel.nestra@ut.ee

Teenistuskäik

Töökohad ja ametid
01.02.2018–31.08.2020   
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut, programmeerimiskeelte lektor (1,00)
02.03.2016–31.01.2018   
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut, programmeerimiskeelte dotsent (1,00)
01.01.2016–01.03.2016   
Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut, programmeerimiskeelte dotsent (1,00)
01.02.2013–31.12.2015   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, programmeerimiskeelte dotsent (1,00)
01.02.2009–31.01.2013   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, programmeerimiskeelte lektor (1,00)
01.02.2006–31.01.2009   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, teoreetilise informaatika teadur (1,00)
01.04.2003–31.01.2006   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, teoreetilise informaatika teadur (1,00)
2003–2006   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool, teoreetilise informaatika teadur (1,00)
01.01.2003–31.12.2003   
Universität Trier, Fachbereich Informatik, wissenschaftlicher Mitarbeiter
2002–2003   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Assistent (1,00)
1997–1997   
Tartu Ülikool, Matemaatika-informaatikateaduskond, Programmeerija (1,00)
 
 
Haridustee
1998–2004   
Tartu Ülikool, Matemaatikateaduskond, doktoriõpe
1996–1998   
Tartu Ülikool, Matemaatikateaduskond, magistriõpe
1992–1996   
Tartu Ülikool, Matemaatikateaduskond, bakalaureuseõpe
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2004−2004   
AFP2004 orgkomitee liige

Kvalifikatsioon

Teaduskraadid
Härmel Nestra, doktorikraad, 2006, (juh) Varmo Vene, Iteratively defined transfinite trace semantics and program slicing with respect to them, Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut.
Härmel Nestra, magistrikraad (teaduskraad), 1998, (juh) Varmo Vene, Polütüüpne funktsionaalne programmeerimine: kategooriateoreetilistest alustest praktikasse, Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut.
 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; TÄPSUSTUS: loogikad arvutiteaduses,programmeerimiskeelte semantikad,programmislitseerimine

Lõppenud projektid

Juhendatud väitekirjad

Publikatsioonid

Klass
Aasta
Publikatsioon
 
3.1.
2019
Nestra, Härmel (2019). Laws of Monadic Error Handling. Lecture Notes in Computer Science, 11884: 16th International Colloquium on Theoretical Aspects of Computing. Ed. Hierons, Robert M.; Mosbah, Mohamed. Springer, 372−391.10.1007/978-3-030-32505-3_21.
3.1.
2018
Nestra, Härmel (2018). Double applicative functors. Lecture Notes in Computer Science, 11187: International Colloquium on Theoretical Aspects of Computing, Stellenbosch, October 2018. Ed. Fischer, B., Uustalu, T. Springer, 333−353. DOI: 10.1007/978-3-030-02508-3_18.
2.4.
2017
Peder, Ahti; Kiho, Jüri; Nestra, Härmel (2017). Algoritmid ja andmestruktuurid: ülesannete kogu. Tartu: TÜ Kirjastus.
3.1.
2017
Nestra, Härmel (2017). Grammars for indentation-sensitive parsing. Leibniz International Proceedings in Informatics, 83: 42nd International Symposium on Mathematical Foundations in Computer Science (MFCS 2017). Ed. Larsen, Kim G.; Bodlaender, Haas L.; Raskin, Jean-François. Dagstuhl Publishing, 45:1−45:13. DOI: 10.4230/LIPIcs.MFCS.2017.45.
6.3.
2017
Nestra, Härmel (2017). Kokkuvõte õpilaste matemaatikavõistlustest aastal 2013. Laan, Valdis; Hämarik, Uno (_EditorsAbbr). Eesti Matemaatika Seltsi aastaraamat 2013-2016 (164−175). Tartu: Paar OÜ.
6.3.
2017
Nestra, Härmel (2017). Kokkuvõte õpilaste matemaatikavõistlustest aastal 2014. Laan, Valdis; Hämarik, Uno (_EditorsAbbr). Eesti Matemaatika Seltsi aastaraamat 2013-2016 (176−189). Tartu: Paar OÜ.
3.1.
2013
Nestra, Härmel (2013). On slicing of programs with input statements. In: Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao (Ed.). Theoretical Aspects of Computing - ICTAC 2013 (282−300). Springer. (Lecture Notes in Computer Science; 8049). DOI: 10.1007/978-3-642-39718-9_17.
6.3.
2012
Nestra, H.; Zolk, I. (2012). Kokkuvõte õpilaste matemaatikavõistlustest. Kaarli, K.; Palm, R. (_EditorsAbbr). Eesti Matemaatika Seltsi aastaraamat 2010 (68−83).. Tartu: Eesti Matemaatika Selts.
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.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
Nestra, Härmel (2011). Purely Functional Global Variables. In: Penjam, Jaan (_EditorsAbbr). 12th Symposium on Programming Languages and Software Tools (20−31).. Tallinn: Tallinn University of Technology Press.
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.
5.2.
2011
Nestra, Härmel (2011). Compositional Transfinite Semantics of While. Proceedings of the 23rd Nordic Workshop on Programming Theory: Nordic Workshop on Programming Theory, Västerås (Sweden), October 26-28, 2011. _EditorsAbbr Pettersson, Paul; Seceleanu, Cristina. Västerås, Sweden, 115−117. (Mälardalen Real-Time Research Center, Mälardalen University Technical Report; 254/2011).
2.4.
2010
Nestra, H. (2010). Sissejuhatus funktsionaalsesse programmeerimisse. Tartu: Tartu Ülikooli Kirjastus.
5.2.
2010
Nestra, H. (2010). Purely functional global variables. Proceedings of the 22nd Nordic Workshop on Programming Theory: Nordic Workshop on Programming Theory, Turku, November 2010. _EditorsAbbr Waldén, M.; Petre, L. Turku: Åbo Akademi University Printing Press, 43−45. (TUCS General Publication; 57).
1.1.
2009
Nestra, H. (2009). Transfinite Semantics in the Form of Greatest Fixpoint. The Journal of Logic and Algebraic Programming, 78 (7), 573−592. DOI: 10.1016/j.jlap.2009.03.001.
6.3.
2009
Nestra, H. (2009). Kolm olid teistest peajagu üle. Horisont, 3, 42−42.
6.3.
2008
Nestra, H. (2008). Pähklipuremine härjavõitluse maal. Horisont, 6, 46−47.
3.4.
2007
Nestra, H. (2007). Transfinite Semantics in the form of Greatest Fixpoint. NWPT'07/FLACOS'07 Workshop Proceedings: Nordic Workshop on Programming Theory. _EditorsAbbr Johnsen, E. B., Owe, O., Schneider, G. Universitetet i Oslo, 32−34.
6.6.
2007
Košik, O.; Nestra, H. (2007). Eesti õpilased rahvusvahelistel matemaatikaolümpiaadidel. Kivinukk, A., Tamberg, G., Villemson, J. (Toim.). EMS Aastaraamat (101−122). . Tallinn: Infotrükk OÜ. (2002-2003).
6.6.
2007
Nestra, H. (2007). Kokkuvõte õpilaste matemaatikavõistlustest aastal 2006. Kaarli, K., Laan, V. (_EditorsAbbr). EMS Aastaraamat (88−106).. Tartu: OÜ Paar. (2006).
1.1.
2006
Nestra, H. (2006). Fractional Semantics. Lecture Notes in Computer Science, 4019: 11th International Conference on Algebraic Methodology and Software Technology; Kuressaare, Estonia; July 5-8, 2006. _EditorsAbbr Johnson, M.; Vene, V. Springer-Verlag Berlin, 278−292.
2.3.
2006
Nestra, H. (2006). Iteratively Defined Transfinite Trace Semantics and Program Slicing with respect to Them. (Tartu Ülikool). Tartu: Tartu Ülikooli Kirjastus.
6.6.
2006
Nestra, Härmel; Zolk, Indrek (2006). Sloveenia sinise taeva all. Horisont, 5, 47−48.
1.2.
2005
Nestra, Härmel (2005). Transfinite Semantics in Program Slicing. Proceedings of the Estonian Academy of Sciences. Engineering, 11 (4), 313−328.
1.2.
2005
Nestra, H. (2005). Transfinite Corecursion. Nordic Journal of Computing, 12 (2), 133−156.
3.4.
2005
Nestra, Härmel (2005). Transfinite Semantics in Program Slicing. 9th Symposium on Programming Languages and Software Tools; Tartu; 13.-14.08.2005. _EditorsAbbr Vene, V.; Meriste, M. Tartu: Tartu University Press, 126−140.
3.4.
2004
Nestra, Härmel (2004). Transfinite Corecursion. 16th Nordic Workshop on Programming Theory (NWPT); Uppsala, Sweden; 06.-08.10.2004. _EditorsAbbr Pettersson, P.; Wang Y. Uppsala: Uppsala University, 30−32.
6.6.
2004
Nestra, H.; Zolk, I. (2004). Matemaatikud tänavuste suursündmuste paigas. Horisont, 5, 49−50.
6.6.
2004
Nestra, H.; Zolk, I. (2004). Noored matemaatikud võistlustules. Õpetajate Leht, 26, 9−9.
1.2.
2002
Nestra, Härmel (2002). A Framework for Studying Substitution. Acta Cybernetica, 15 (4), 633−652.
3.4.
2001
Nestra, Härmel (2001). A Framework for Studying Substitution. 7th Symposium on Programming Languages and Software Tools (SPLST 2001); Szeged, Hungary; 15.-16.06.2001. _EditorsAbbr Gyimóthy, T. Szeged: University of Szeged, 168−182.
3.4.
2000
Nestra, Härmel (2000). Handling Substitution without Induction. Proceedings of ESSLLI-2000 Student Session: 12th European Summer School in Logic, Language and Information (ESSLLI); Birmingham, UK; 06.-08.08.2000. _EditorsAbbr Pilière, C. Birmingham: University of Birmingham, 178−188.
6.2.
1995
Abel, E.; Abel, M.; Kaarli, K.; Lepmann, L.; Lepmann, T.; Nestra, H.; Nummert, U.; Villemson, J.; Andžans, A. (1995). Matemaatikaolümpiaadid Eestis 1993/94 õ.-a. : ülesanded ja lahendused. Tartu: Tartu Ülikool.
24.10.2019

Härmel Nestra

https://www.etis.ee/CV/Härmel_Nestra/eng
19.03.1974
737 5428
harmel.nestra@ut.ee

Career

Institutions and positions
01.02.2018–31.08.2020   
University of Tartu, Faculty of Science and Technology, Institute of Computer Science, Lecturer in Programming Languages (1,00)
02.03.2016–31.01.2018   
University of Tartu, Faculty of Science and Technology, Institute of Computer Science, Associate Professor in Programming Languages (1,00)
01.01.2016–01.03.2016   
University of Tartu, Faculty of Science and Technology, Institute of Computer Science, Associate Professor in Programming Languages (1,00)
01.02.2013–31.12.2015   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Associate Professor in Programming Languages (1,00)
01.02.2009–31.01.2013   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Lecturer in Programming Languages (1,00)
01.02.2006–31.01.2009   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Research Fellow (1,00)
01.04.2003–31.01.2006   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Research Fellow (1,00)
2003–2006   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Chair of Theoretical Computer Science, teoreetilise informaatika teadur (1,00)
01.01.2003–31.12.2003   
University of Trier, Computer Science Departement, co-worker on research
2002–2003   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science, Assistant (1,00)
1997–1997   
University of Tartu, Faculty of Mathematics and Computer Science, Other staff (1,00)
 
 
Education
1998–2004   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science; doctoral studies
1996–1998   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science; master studies
1992–1996   
University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science; undergraduate studies
 
 
R&D related managerial and administrative work
2004−2004   
Member of the AFP2004 Organizing Committee

Qualifications

Academic degrees
Härmel Nestra, Doctor's Degree, 2006, (sup) Varmo Vene, Iteratively defined transfinite trace semantics and program slicing with respect to them (Iteratively defined transfinite trace semantics and program slicing with respect to them), University of Tartu, Faculty of Mathematics and Computer Science, Institute of Computer Science.
Härmel Nestra, Research Master's Degree, 1998, (sup) Varmo Vene, Polütüüpne funktsionaalne programmeerimine: kategooriateoreetilistest alustest praktikasse (Polytypic functional programming: from categorical groundwork to practice), 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; SPECIFICATION: logics in computer sciencesemantics of programming languagesprogram slicing
 
 

Completed projects

Supervised dissertations

Publications

Category
Year
Publication
 
3.1.
2019
Nestra, Härmel (2019). Laws of Monadic Error Handling. Lecture Notes in Computer Science, 11884: 16th International Colloquium on Theoretical Aspects of Computing. Ed. Hierons, Robert M.; Mosbah, Mohamed. Springer, 372−391.10.1007/978-3-030-32505-3_21.
3.1.
2018
Nestra, Härmel (2018). Double applicative functors. Lecture Notes in Computer Science, 11187: International Colloquium on Theoretical Aspects of Computing, Stellenbosch, October 2018. Ed. Fischer, B., Uustalu, T. Springer, 333−353. DOI: 10.1007/978-3-030-02508-3_18.
2.4.
2017
Peder, Ahti; Kiho, Jüri; Nestra, Härmel (2017). Algoritmid ja andmestruktuurid: ülesannete kogu. Tartu: TÜ Kirjastus.
3.1.
2017
Nestra, Härmel (2017). Grammars for indentation-sensitive parsing. Leibniz International Proceedings in Informatics, 83: 42nd International Symposium on Mathematical Foundations in Computer Science (MFCS 2017). Ed. Larsen, Kim G.; Bodlaender, Haas L.; Raskin, Jean-François. Dagstuhl Publishing, 45:1−45:13. DOI: 10.4230/LIPIcs.MFCS.2017.45.
6.3.
2017
Nestra, Härmel (2017). Kokkuvõte õpilaste matemaatikavõistlustest aastal 2013. Laan, Valdis; Hämarik, Uno (_EditorsAbbr). Eesti Matemaatika Seltsi aastaraamat 2013-2016 (164−175). Tartu: Paar OÜ.
6.3.
2017
Nestra, Härmel (2017). Kokkuvõte õpilaste matemaatikavõistlustest aastal 2014. Laan, Valdis; Hämarik, Uno (_EditorsAbbr). Eesti Matemaatika Seltsi aastaraamat 2013-2016 (176−189). Tartu: Paar OÜ.
3.1.
2013
Nestra, Härmel (2013). On slicing of programs with input statements. In: Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao (Ed.). Theoretical Aspects of Computing - ICTAC 2013 (282−300). Springer. (Lecture Notes in Computer Science; 8049). DOI: 10.1007/978-3-642-39718-9_17.
6.3.
2012
Nestra, H.; Zolk, I. (2012). Kokkuvõte õpilaste matemaatikavõistlustest. Kaarli, K.; Palm, R. (_EditorsAbbr). Eesti Matemaatika Seltsi aastaraamat 2010 (68−83).. Tartu: Eesti Matemaatika Selts.
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.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
Nestra, Härmel (2011). Purely Functional Global Variables. In: Penjam, Jaan (_EditorsAbbr). 12th Symposium on Programming Languages and Software Tools (20−31).. Tallinn: Tallinn University of Technology Press.
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.
5.2.
2011
Nestra, Härmel (2011). Compositional Transfinite Semantics of While. Proceedings of the 23rd Nordic Workshop on Programming Theory: Nordic Workshop on Programming Theory, Västerås (Sweden), October 26-28, 2011. _EditorsAbbr Pettersson, Paul; Seceleanu, Cristina. Västerås, Sweden, 115−117. (Mälardalen Real-Time Research Center, Mälardalen University Technical Report; 254/2011).
2.4.
2010
Nestra, H. (2010). Sissejuhatus funktsionaalsesse programmeerimisse. Tartu: Tartu Ülikooli Kirjastus.
5.2.
2010
Nestra, H. (2010). Purely functional global variables. Proceedings of the 22nd Nordic Workshop on Programming Theory: Nordic Workshop on Programming Theory, Turku, November 2010. _EditorsAbbr Waldén, M.; Petre, L. Turku: Åbo Akademi University Printing Press, 43−45. (TUCS General Publication; 57).
1.1.
2009
Nestra, H. (2009). Transfinite Semantics in the Form of Greatest Fixpoint. The Journal of Logic and Algebraic Programming, 78 (7), 573−592. DOI: 10.1016/j.jlap.2009.03.001.
6.3.
2009
Nestra, H. (2009). Kolm olid teistest peajagu üle. Horisont, 3, 42−42.
6.3.
2008
Nestra, H. (2008). Pähklipuremine härjavõitluse maal. Horisont, 6, 46−47.
3.4.
2007
Nestra, H. (2007). Transfinite Semantics in the form of Greatest Fixpoint. NWPT'07/FLACOS'07 Workshop Proceedings: Nordic Workshop on Programming Theory. _EditorsAbbr Johnsen, E. B., Owe, O., Schneider, G. Universitetet i Oslo, 32−34.
6.6.
2007
Košik, O.; Nestra, H. (2007). Eesti õpilased rahvusvahelistel matemaatikaolümpiaadidel. Kivinukk, A., Tamberg, G., Villemson, J. (Toim.). EMS Aastaraamat (101−122). . Tallinn: Infotrükk OÜ. (2002-2003).
6.6.
2007
Nestra, H. (2007). Kokkuvõte õpilaste matemaatikavõistlustest aastal 2006. Kaarli, K., Laan, V. (_EditorsAbbr). EMS Aastaraamat (88−106).. Tartu: OÜ Paar. (2006).
1.1.
2006
Nestra, H. (2006). Fractional Semantics. Lecture Notes in Computer Science, 4019: 11th International Conference on Algebraic Methodology and Software Technology; Kuressaare, Estonia; July 5-8, 2006. _EditorsAbbr Johnson, M.; Vene, V. Springer-Verlag Berlin, 278−292.
2.3.
2006
Nestra, H. (2006). Iteratively Defined Transfinite Trace Semantics and Program Slicing with respect to Them. (Tartu Ülikool). Tartu: Tartu Ülikooli Kirjastus.
6.6.
2006
Nestra, Härmel; Zolk, Indrek (2006). Sloveenia sinise taeva all. Horisont, 5, 47−48.
1.2.
2005
Nestra, Härmel (2005). Transfinite Semantics in Program Slicing. Proceedings of the Estonian Academy of Sciences. Engineering, 11 (4), 313−328.
1.2.
2005
Nestra, H. (2005). Transfinite Corecursion. Nordic Journal of Computing, 12 (2), 133−156.
3.4.
2005
Nestra, Härmel (2005). Transfinite Semantics in Program Slicing. 9th Symposium on Programming Languages and Software Tools; Tartu; 13.-14.08.2005. _EditorsAbbr Vene, V.; Meriste, M. Tartu: Tartu University Press, 126−140.
3.4.
2004
Nestra, Härmel (2004). Transfinite Corecursion. 16th Nordic Workshop on Programming Theory (NWPT); Uppsala, Sweden; 06.-08.10.2004. _EditorsAbbr Pettersson, P.; Wang Y. Uppsala: Uppsala University, 30−32.
6.6.
2004
Nestra, H.; Zolk, I. (2004). Matemaatikud tänavuste suursündmuste paigas. Horisont, 5, 49−50.
6.6.
2004
Nestra, H.; Zolk, I. (2004). Noored matemaatikud võistlustules. Õpetajate Leht, 26, 9−9.
1.2.
2002
Nestra, Härmel (2002). A Framework for Studying Substitution. Acta Cybernetica, 15 (4), 633−652.
3.4.
2001
Nestra, Härmel (2001). A Framework for Studying Substitution. 7th Symposium on Programming Languages and Software Tools (SPLST 2001); Szeged, Hungary; 15.-16.06.2001. _EditorsAbbr Gyimóthy, T. Szeged: University of Szeged, 168−182.
3.4.
2000
Nestra, Härmel (2000). Handling Substitution without Induction. Proceedings of ESSLLI-2000 Student Session: 12th European Summer School in Logic, Language and Information (ESSLLI); Birmingham, UK; 06.-08.08.2000. _EditorsAbbr Pilière, C. Birmingham: University of Birmingham, 178−188.
6.2.
1995
Abel, E.; Abel, M.; Kaarli, K.; Lepmann, L.; Lepmann, T.; Nestra, H.; Nummert, U.; Villemson, J.; Andžans, A. (1995). Matemaatikaolümpiaadid Eestis 1993/94 õ.-a. : ülesanded ja lahendused. Tartu: Tartu Ülikool.
24.10.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
Lihtotsing Tühjenda
  • Leitud 7 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
MUUSMTAT09153Funktsionaalse programmeerimise õpik16.10.200930.01.2010Härmel NestraTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut2 236,91 EUR
ETFETF7543Mittestandardsed programmeerimisekeelte semantikad01.01.200831.12.2012Härmel NestraTartu Ülikool, Matemaatika-informaatikateaduskond40 416,49 EUR
MUUSMTAT13125 (13-03-01-31)Osalemine kollokviumil International Colloquium on Theoretical Aspects of Computing02.09.201307.09.2013Härmel NestraTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut1 528,54 EUR
ETFETF6713Programmide staatiline analüüs01.01.200631.12.2009Varmo VeneTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond; Tartu Ülikool, Matemaatika-informaatikateaduskond31 889,36 EUR
ETFETF8421Semantikapõhine programmide analüüs01.01.201031.12.2012Varmo VeneTartu Ülikool, Matemaatika-informaatikateaduskond32 785,69 EUR
SFSF0182712s06Suuremahuliste ja keeruliste arvutusülesannete lahendamise meetodid, arvutuskeskkonnad ja rakendused.01.01.200631.12.2011Jaak ViloTartu Ülikool, Matemaatika-informaatikateaduskond584 274,70 EUR
IUTIUT2-1Tõestatavalt turvalised ja korrektsed arvutisüsteemid01.01.201331.12.2018Dominique Peer Ghislain Dr UnruhTartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut1 038 000,00 EUR