Tõnu Tamme
| is involved in projects | |||
|---|---|---|---|
| no | reg no | project title, institution, position | duration |
| 1. | ETF5279 | Semantic Based Program Analysis and Transformation (Univ. of Tartu, lecturer) | 2002 - 2004 |
| 2. | ETF4917 | Mathematical Construction of Programs II (University of Tartu, lektor) | 2001 - 2003 |
| 3. | SF0180520s98 | Arvutiteaduse mudelid ja meetodid infotehnoloogias (University of Tartu, lektor) | 1998 - 2002 |