Härmel Nestra

Härmel Nestra (sündinud 19. märtsil 1974 Tartus) on eesti matemaatik ja informaatikateadlane.

Elulugu
Härmel Nestra on tööliste poeg.

1992. aastal lõpetas Nestra Tartu 12. Keskkooli ja 1996 Tartu Ülikooli matemaatikateaduskonna. 1998. aastal kaitses ta Tartu Ülikoolis  magistritöö "Polütüüpne funktsionaalne programmeerimine: kategooriateoreetilistest alustest praktikasse" (Tartu, 1998) ja sai magistrikraadi informaatikas ning 2006. aastal väitekirja "Iteratively defined transfinite trace semantics and program slicing with respect to them" (Tartu, 2006)ja saidoktorikraadi informaatikas.

Nestra oli 2002–2003 TÜ arvutiteaduse instituudi assistent, 2003–2009 teadur ja 2009. aastast lektor; 2003 oli ta ka Trieri Ülikooli teadur.

Teadustöö
Härmel Nestra peamised uurimisvaldkonnad on loogika arvutiteaduses, funktsionaalprogrammeerimine, programmianalüüs ja slitseerimine. Ta on olnud Eesti koolinoorte matemaatikaolümpiaadi žürii liige, aastast 2004 esimees ning kuni 2014. aastani Eesti õpilasvõistkonna liider rahvusvahelistel matemaatikaolümpiaadidel. Nestra on avaldanud 10 teaduspublikatsiooni.

Tunnustus
 2013 Gerhard Rägo nimeline mälestusmedal

Teoseid
 A framework for studying substitution. // Acta Cybernetica 15 (2002) 4
 Transfinite corecursion. // Nordic Journal of Computing 12 (2005) 2
 Transfinite semantics in program slicing. // Proceedings of the Estonian Academy of Sciences. Engineering 11 (2005) 4

Viited

Kirjandus
 Eesti teaduse biograafiline leksikon, 3. köide

Välislingid
 

Eesti informaatikud
Eesti matemaatikud
Tartu Ülikooli õppejõud
Sündinud 1974