Härmel Nestra
https://www.etis.ee/CV/Härmel_Nestra/estTeenistuskä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
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; TÄPSUSTUS: loogikad arvutiteaduses,programmeerimiskeelte semantikad,programmislitseerimine
Klass
Aasta
Publikatsioon
3.1.
2019
3.1.
2018
2.4.
2017
3.1.
2017
6.3.
2017
6.3.
2017
3.1.
2013
6.3.
2012
1.2.
2011
3.2.
2011
3.4.
2011
3.4.
2011
5.2.
2011
2.4.
2010
5.2.
2010
1.1.
2009
6.3.
2009
6.3.
2008
3.4.
2007
6.6.
2007
6.6.
2007
1.1.
2006
2.3.
2006
6.6.
2006
1.2.
2005
1.2.
2005
3.4.
2005
3.4.
2004
6.6.
2004
6.6.
2004
1.2.
2002
3.4.
2001
3.4.
2000
6.2.
1995
24.10.2019
Härmel Nestra
https://www.etis.ee/CV/Härmel_Nestra/engCareer
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
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIFICATION: logics in computer sciencesemantics of programming languagesprogram slicing
Category
Year
Publication
3.1.
2019
3.1.
2018
2.4.
2017
3.1.
2017
6.3.
2017
6.3.
2017
3.1.
2013
6.3.
2012
1.2.
2011
3.2.
2011
3.4.
2011
3.4.
2011
5.2.
2011
2.4.
2010
5.2.
2010
1.1.
2009
6.3.
2009
6.3.
2008
3.4.
2007
6.6.
2007
6.6.
2007
1.1.
2006
2.3.
2006
6.6.
2006
1.2.
2005
1.2.
2005
3.4.
2005
3.4.
2004
6.6.
2004
6.6.
2004
1.2.
2002
3.4.
2001
3.4.
2000
6.2.
1995
24.10.2019
Otsi projekti
Asutus on projekti finantseerija
Asutus on projekti teostaja
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
- Leitud 7 kirjet
Programm | Liik | Number | Nimi | Projekti algus | Projekti lõpp | Vastutav täitja | Asutus | Finantseerijapoolne rahastamine | |
---|---|---|---|---|---|---|---|---|---|
MUU | SMTAT09153 | Funktsionaalse programmeerimise õpik | 16.10.2009 | 30.01.2010 | Härmel Nestra | Tartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut | 2 236,91 EUR | ||
ETF | ETF7543 | Mittestandardsed programmeerimisekeelte semantikad | 01.01.2008 | 31.12.2012 | Härmel Nestra | Tartu Ülikool, Matemaatika-informaatikateaduskond | 40 416,49 EUR | ||
MUU | SMTAT13125 (13-03-01-31) | Osalemine kollokviumil International Colloquium on Theoretical Aspects of Computing | 02.09.2013 | 07.09.2013 | Härmel Nestra | Tartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut | 1 528,54 EUR | ||
ETF | ETF6713 | Programmide staatiline analüüs | 01.01.2006 | 31.12.2009 | Varmo Vene | Tartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond; Tartu Ülikool, Matemaatika-informaatikateaduskond | 31 889,36 EUR | ||
ETF | ETF8421 | Semantikapõhine programmide analüüs | 01.01.2010 | 31.12.2012 | Varmo Vene | Tartu Ülikool, Matemaatika-informaatikateaduskond | 32 785,69 EUR | ||
SF | SF0182712s06 | Suuremahuliste ja keeruliste arvutusülesannete lahendamise meetodid, arvutuskeskkonnad ja rakendused. | 01.01.2006 | 31.12.2011 | Jaak Vilo | Tartu Ülikool, Matemaatika-informaatikateaduskond | 584 274,70 EUR | ||
IUT | IUT2-1 | Tõestatavalt turvalised ja korrektsed arvutisüsteemid | 01.01.2013 | 31.12.2018 | Dominique Peer Ghislain Dr Unruh | Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut | 1 038 000,00 EUR |