Tanel Tammet
| is involved in projects | |||
|---|---|---|---|
| no | reg no | project title, institution, position | duration |
| 1. | ETF5775 | Abstraction-based verification and analysis of infinite state systems (Tallinn Technical University, professor) | 2004 - 2007 |
| 2. | ETF5567 | Non-classical logics and programming theory (Tallinn TU, professor) | 2003 - 2006 |
| 3. | ETF4156 | Formal Methods for Verification of Hybrid Dynamical Systems (Tallinn Technical University, prof.) | 2000 - 2003 |
| 4. | SF0140854s99 | Automaatse teoreemitõestamise meetodid formaalsete spetsifikatsioonide verfitseerimiseks (Tallinn Technical University, professor) | 1999 - 2002 |
| 5. | SF0140221As98 | Juhtimis- ja tarkvarasüsteemide projekteerimise meetodid ja vahendid raalintegreeritud süsteemides (TTÜ Teaduskompetentsikeskus, professor) | 1998 - 2002 |