Härmel Nestra

Allikas: Vikipeedia

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

Elulugu[muuda | muuda lähteteksti]

Härmel Nestra on tööliste poeg.[1]

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.[1]

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

Teadustöö[muuda | muuda lähteteksti]

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.[1]

Tunnustus[muuda | muuda lähteteksti]

Teoseid[muuda | muuda lähteteksti]

  • 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[muuda | muuda lähteteksti]

  1. 1,0 1,1 1,2 1,3 1,4 Eesti teaduse biograafiline leksikon, 3. köide.

Kirjandus[muuda | muuda lähteteksti]

  • Eesti teaduse biograafiline leksikon, 3. köide

Välislingid[muuda | muuda lähteteksti]

Käesolevas artiklis on kasutatud "Eesti teaduse biograafilise leksikoni" materjale.