Tarmo Uustalu
| on seotud projektidega | |||
|---|---|---|---|
| nr | tunnusnumber | teema, asutus, amet | kestus |
| 1. | SF0322709s06 | Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad (TTÜ Küberneetika Instituut, vanemteadur) | 2006 - 2011 |
| 2. | ETF5567 | Mitteklassikalised loogikad ja programmeerimisteooria (TTÜ Küberneetika Instituut, vanemteadur) | 2003 - 2006 |
| 3. | SF0321769s01 | Ontoloogiale orienteeritud programmeerimine (TTÜ Küberneetika Instituut, vanemteadur) | 2001 - 2005 |
| 4. | ETF4917 | Programmide matemaatiline konstrueerimine II (TTÜ Küberneetika Instituut, v.tead.) | 2001 - 2003 |
| 5. | ETF4155 | Intermediaar- ja modaalloogikad programmikeelte teoorias ja formaalmeetodites (TTÜ Küberneetika Instituut, v.tead.) | 2000 - 2002 |
| 6. | SF0320202s98 | Teadmuspõhiste juhtimis- ja infosüsteemide arenduskeskkonnad kõrgjõudlusega arvutivõrkudel (TTÜ Küberneetika Instituut, vanemteadur) | 1997 - 2000 |