Sergei Tupailo
[ curriculum vitae ]
| is involved in projects | |||
|---|---|---|---|
| no | reg no | project title, institution, position | duration |
| 1. | SF0322519As03 | Analytical and numerical methods in modelling (Institute of Cybernetics at Tallinn Technical University, vanemteadur) | 2003 - 2007 |
| 2. | SF0321769s01 | Ontoloogiale orienteeritud programmeerimine (Institute of Cybernetics at Tallinn Technical University, vanemteadur) | 2001 - 2005 |
| 3. | ETF4497 | On the Unity of Proof Treory (Institute of Cybernetics at Tallinn Technical University, v.tead.) | 2001 - 2001 |