Härmel Nestra

Allikas: Vikipeedia

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

Elulugu[muuda | redigeeri 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 TÜ-s magistrikraadi informaatikas väitekirjaga "Polütüüpne funktsionaalne programmeerimine: kategooriateoreetilistest alustest praktikasse" (Tartu, 1998) ja 2006. aastal doktorikraadi informaatikas väitekirjaga "Iteratively defined transfinite trace semantics and program slicing with respect to them" (Tartu, 2006).[1]

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

Teadustöö[muuda | redigeeri 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 Eesti õpilasvõistkonna liider rahvusvahelistel matemaatikaolümpiaadidel. Nestra on avaldanud 10 teadustrükist.[1]

Viited[muuda | redigeeri lähteteksti]

  1. 1,0 1,1 1,2 1,3 1,4 Eesti Teaduse Biograafiline Leksikon, 3. köide

Teoseid[muuda | redigeeri 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

Kirjandus[muuda | redigeeri lähteteksti]

  • Eesti teaduse bibliograafiline leksikon, 3. köide

Välislingid[muuda | redigeeri lähteteksti]

Härmel Nestra Eesti Teadusportaali andmebaasis


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