[ sulge aken ]
| Elulookirjeldus (CV) | ||
| 1. | Eesnimi | Härmel |
| 2. | Perekonnanimi | Nestra |
| 3. | Töökoht | Tartu Ülikool, arvutiteaduse instituut |
| 4. | Ametikoht | teadur |
| 5. | Sünniaeg | 19.03.1974 (päev.kuu.aasta) |
| 6. | Haridus | 1992-1996 matemaatikateaduskond 1996-1998 magistriõpe informaatika erialal 1998-2004 doktoriõpe informaatika erialal |
| 7. | Teenistuskäik | 1997 TÜ ATI, programmeerija 2002-2003 TÜ ATI, assistent 2003 Trieri Ülikooli arvutiteaduse teaduskond, teaduslik kaastöötaja 2003-... TÜ ATI, teadur |
| 8. | Teaduskraad | magister |
| 9. | Teaduskraadi välja andnud asutus, aasta |
Tartu Ülikool, 1998 |
| 10. | Tunnustused | |
| 11. | Teadusorganisatsiooniline ja –administratiivne tegevus |
AFP2004 orgkomitee liige |
| 12. | Juhendamisel kaitstud väitekirjad |
|
| 13. | Teadustöö põhisuunad | loogika arvutiteaduses, programmianalüüs, slitseerimine |
| 14. | Jooksvad grandid | |
| 15. | Teaduspublikatsioonid |
Nestra, H.: Transfinite Corecursion. Nordic Journal of Computing 12(2) (2005) 133--156 Nestra, H.: Transfinite Semantics in Program Slicing. In: Vene, V., Meriste, M. (eds.): Proceedings of the Ninth Symposium on Programming Languages and Software Tools. University of Tartu (2005) 126--140 Nestra, H.: Transfinite Semantics in Program Slicing. Proceedings of the Estonian Academy of Sciences. Engineering 11(4) (2005) 313--328 Nestra, H.: Transfinite Corecursion. In: Pettersson, P. and Yi, W. (eds.): Proceedings of the 16th Nordic Workshop on Programming Theory. Uppsala University Technical report 2004-041 (2004) 30--32 Nestra, H.: A Framework for Studying Substitution. Acta Cybernetica 15 (2002) 633--652 Nestra, H.: A Framework for Studying Substitution. In:Gyimóthy, T. (ed.): Seventh Symposium on Programming Languages and Software Tools. University of Szeged (2001) 168--182 Nestra, H.: Handling Substitution without Induction. In:Piliére, C. (ed.): Proceedings of the ESSLLI-2000 Student Session. University of Birmingham (2000) 178--188 |
viimati muudetud: 05.08.2005
| Curriculum Vitae (CV) | ||
| 1. | First Name | Härmel |
| 2. | Surname | Nestra |
| 3. | Institution | University of Tartu, Institute of Computer Science |
| 4. | Position | researcher |
| 5. | Date of birth | 19.03.1974 (day.month.year) |
| 6. | Education | 1992-1996 faculty of mathematics 1996-1998 master studies in computer science 1998-2004 doctoral studies in computer science |
| 7. | Research and professional experience |
1997 programmer 2002-2003 assistant 2003 Computer Science Departement of University of Trier, co-worker on research 2003-... researcher |
| 8. | Academic degree | master |
| 9. | Dates and sites of earning the degrees |
University of Tartu, 1998 |
| 10. | Honours/awards | |
| 11. | Research-administrative experience |
Member of the Organization Committee of AFP2004 (Advanced Functional Programming) |
| 12. | Supervised dissertations | |
| 13. | Current research program | logic in computer science, program analysis, program slicing |
| 14. | Current grant funding | |
| 15. | List of most important publications |
Nestra, H.: Transfinite Corecursion. Nordic Journal of Computing 12(2) (2005) 133--156 Nestra, H.: Transfinite Semantics in Program Slicing. In: Vene, V., Meriste, M. (eds.): Proceedings of the Ninth Symposium on Programming Languages and Software Tools. University of Tartu (2005) 126--140 Nestra, H.: Transfinite Semantics in Program Slicing. Proceedings of the Estonian Academy of Sciences. Engineering 11(4) (2005) 313--328 Nestra, H.: Transfinite Corecursion. In: Pettersson, P. and Yi, W. (eds.): Proceedings of the 16th Nordic Workshop on Programming Theory. Uppsala University Technical report 2004-041 (2004) 30--32 Nestra, H.: A Framework for Studying Substitution. Acta Cybernetica 15 (2002) 633--652 Nestra, H.: A Framework for Studying Substitution. In:Gyimóthy, T. (ed.): Seventh Symposium on Programming Languages and Software Tools. University of Szeged (2001) 168--182 Nestra, H.: Handling Substitution without Induction. In:Piliére, C. (ed.): Proceedings of the ESSLLI-2000 Student Session. University of Birmingham (2000) 178--188 |
last updated: 05.08.2005
[ sulge aken ]