Härmel Nestra
[ curriculum vitae ]
| is involved in projects | |||
|---|---|---|---|
| no | reg no | project title, institution, position | duration |
| 1. | SF0182712s06 | The methods, environments, and applications for solving large and complex computational problems (Tartu University, Faculty of Mathematics and Computer Science , researcher) | 2006 - 2011 |
| 2. | ETF6713 | Static Analysis of Programs () | 2006 - 2009 |
| 3. | ETF5279 | Semantic Based Program Analysis and Transformation (Univ. of Tartu, PhD student) | 2002 - 2004 |
| 4. | ETF4155 | Intermediate and Modal Logics in Programming Language Theory and Formal Methods (University of Tartu, d.rant) | 2000 - 2002 |
| 5. | SF0140854s99 | Automaatse teoreemitõestamise meetodid formaalsete spetsifikatsioonide verfitseerimiseks (Tallinn Technical University, teadur) | 1999 - 2002 |
| 6. | SF0181138s99 | Tüübiteooria (University of Tartu) | |