Jaan Penjam
[ curriculum vitae ]
| is involved in projects | |||
|---|---|---|---|
| no | reg no | project title, institution, position | duration |
| 1. | SF0322709s06 | Dependable software and human language technologies (Institute of Cybernetics at Tallinn Technical University, Director) | 2006 - 2011 |
| 2. | ETF5567 | Non-classical logics and programming theory (Inst. of Cybern., director) | 2003 - 2006 |
| 3. | SF0321769s01 | Ontoloogiale orienteeritud programmeerimine (Institute of Cybernetics at Tallinn Technical University, direktor) | 2001 - 2005 |
| 4. | ETF5038 | Eesti Arvutiteaduse Talvekool 2002 (TTÜ Küberneetika Instituut, direktor) | 2002 - 2002 |
| 5. | ETF4155 | Intermediate and Modal Logics in Programming Language Theory and Formal Methods (Institute of Cybernetics at Tallinn Technical University, dir.) | 2000 - 2002 |
| 6. | ETF4718 | Eesti arvutiteaduse talvekool 2001 (Institute of Cybernetics at Tallinn Technical University, dir.) | 2001 - 2001 |
| 7. | SF0320202s98 | Teadmuspõhiste juhtimis- ja infosüsteemide arenduskeskkonnad kõrgjõudlusega arvutivõrkudel (Institute of Cybernetics at Tallinn Technical University, diektor) | 1997 - 2000 |