See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
19.03.1974
737 5428
harmel.nestra@ut.ee

Teenistuskäik

Töökohad ja ametid
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

Publikatsioonid

Klass
Aasta
Publikatsioon
 
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
19.03.1974
737 5428
harmel.nestra@ut.ee

Career

Institution and occupation
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

Publications

Category
Year
Publication
 
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
  • 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