| teema: | Intermediaar- ja modaalloogikad programmikeelte teoorias ja formaalmeetodites |
|---|---|
| tunnusnumber: | ETF4155 |
| projekti tüüp: | Eesti Teadusfondi grant |
| erialad: |
1.2. Rakendusmatemaatika 2.9. Süsteemitehnika ja infotehnoloogia |
| seisund: | lõppenud |
| asutus: | TTÜ Küberneetika Instituut |
| projekti juht: | Tarmo Uustalu |
| kestus: | 01.01.2000 - 31.12.2002 |
| projektiga seotud isikud | ||||
|---|---|---|---|---|
| nr | nimi | asutus | amet | |
| 1. | Marko Kääramees | TTÜ Küberneetika Instituut | teadur | |
| 2. | Härmel Nestra | Tartu Ülikool | d.rant | |
| 3. | Jaan Penjam | TTÜ Küberneetika Instituut | dir. | |
| 4. | Tarmo Uustalu | TTÜ Küberneetika Instituut | v.tead. | |
| 5. | Varmo Vene | Tartu Ülikool | lektor | |