Härmel Nestra
[ elulookirjeldus ]
| on seotud projektidega | |||
|---|---|---|---|
| nr | tunnusnumber | teema, asutus, amet | kestus |
| 1. | SF0182712s06 | Suuremahuliste ja keeruliste arvutusülesannete lahendamise meetodid, arvutuskeskkonnad ja rakendused. (Tartu Ülikool, Matemaatika-informaatikateaduskond, teadur) | 2006 - 2011 |
| 2. | ETF6713 | Programmide staatiline analüüs () | 2006 - 2009 |
| 3. | ETF5279 | Formaalsel semantikal baseeruv programmide analüüs ja teisendamine (Tartu Ülikool, doktorant) | 2002 - 2004 |
| 4. | ETF4155 | Intermediaar- ja modaalloogikad programmikeelte teoorias ja formaalmeetodites (Tartu Ülikool, d.rant) | 2000 - 2002 |
| 5. | SF0140854s99 | Automaatse teoreemitõestamise meetodid formaalsete spetsifikatsioonide verfitseerimiseks (Tallinna Tehnikaülikool, teadur) | 1999 - 2002 |
| 6. | SF0181138s99 | Tüübiteooria (Tartu Ülikool) | |