[ sulge aken ]
| Elulookirjeldus (CV) | ||
| 1. | Eesnimi | Vahur |
| 2. | Perekonnanimi | Kotkas |
| 3. | Töökoht | TTÜ Küberneetika Instituut |
| 4. | Ametikoht | teadur |
| 5. | Sünniaeg | 09.05.1971 (päev.kuu.aasta) |
| 6. | Haridus | Juuni 1999: Omistatud tehnikateaduste magistri kraad. Magistritöö teema "Radarkatte modelleerimine tehisintellekti keskkonnas" Juuni 1995: Omistatud tarkvaratehnika inseneri nimetus. Diplomitöö teema "Intelligentne keskkond andmeside mudelleerimiseks" September 1990 - Oktoober 2005 Tallinna Tehnikaülikool arvuti ja süsteemitehnika õppesuund Juuni 1990: Omistatud raadio- ja telekommunikatsiooni inseneri nimetus September 1986 - Juuni 1990: Tallinna Polütehnikum |
| 7. | Teenistuskäik | Alates jaanuar 2003: TTÜ Küberneetika Instituudi teadur. Veebruar 1998 - detsember 2002: Projektijuht TTÜ Küberneetika Instituudis. Oktoober 1993 - jaanuar 1998: TTÜ Küberneetika Instituudi insener. |
| 8. | Teaduskraad | Tehnikateaduste magister |
| 9. | Teaduskraadi välja andnud asutus, aasta |
Tallinna Tehnikaülikool 1999 |
| 10. | Tunnustused | |
| 11. | Teadusorganisatsiooniline ja –administratiivne tegevus |
|
| 12. | Juhendamisel kaitstud väitekirjad |
Andrei Solntsev, MSc, 2003, juh. Vahur Kotkas, Mati Tombak. SYSTEMS OF EQUATIONS AND INEQUATIONS. SEARCHING AND ANALYSIS OF EXISTING ALGORITHMS.. Tartu Ülikool |
| 13. | Teadustöö põhisuunad | Teadmuspõhised tarkvaratehnikad. Hajusarvutus. Programmide automaatne süntees. |
| 14. | Jooksvad grandid | |
| 15. | Teaduspublikatsioonid |
Kotkas, V. Structural Synthesis of Programs with Preconditions. In Proceedings of the Ninth Symposium on Programming Languages and Software Tools. Tartu 2005 Kotkas, V. Synthesis of Distributed Programs. In Proceedings of the Eighth Symposium on Programming Languages and Software Tools. Kuopio 2003. Kotkas, V. A distributed program synthesizer. Acta Cybernetica 15 2002. pp 567-581 . A.Kalja, V.Kotkas and T.Tiidemann. CAD Problem Solving and Technical Systems Modelling Using the AI Programming Environments. In: Information modelling and Knowledge Bases XII. H. Jaakkola et al. (Eds.) IOS Press, Amsterdam, 2001, 284-290. Harf, M., Kindel, K., Kotkas, V., Küngas, P., Tyugu, E. Automated program synthesis for Java Programming Language. LNCS 2244 Perspectives of System Informatics. Springer 2001. Kotkas, V., Küngas, P., Harf, M. The cash-point service in NUT. - Formal Apects of Computing, 2000, 12, 4, 222-224. Kotkas, V., Penjam, J., Tyugu, E. Ontology-based design of surveillance systems with NUT. – In: Proc. 3rd International Conference on Information Fusion, ISIF, Paris, Vol.II, 2000, WeB4, 3-9. |
viimati muudetud: 12.10.2005
| Curriculum Vitae (CV) | ||
| 1. | First Name | Vahur |
| 2. | Surname | Kotkas |
| 3. | Institution | Institute of Cybernetics at TUT |
| 4. | Position | researcher |
| 5. | Date of birth | 09.05.1971 (day.month.year) |
| 6. | Education | June 1999: Graduated as Master of Sciences. Master thesis title "Modeling radar coverage using AI techniques" June 1995: Graduated as Engineer of Computer Sciences. Diploma thesis "Intelligent software tools for data communication modeling" September 1990 - October 2005: Dept of automation, Tallinn Technical University June 1990: Graduated as radio- and telecommunication engineer September 1986 - June 1990: Tallinn Polytechnic School |
| 7. | Research and professional experience |
January 2003 - present: Researcher in the Computer Science Department of the Institute of Cybernetics at Tallinn University of Technology February 1998 - December 2002: Project Manager in the Computer Science Department of the Institute of Cybernetics at Tallinn Technical University October 1993 - January 1998: Engineer in the Computer Science Department of the Institute of Cybernetics. |
| 8. | Academic degree | M.Sc. |
| 9. | Dates and sites of earning the degrees |
Tallinn Technical University 1999 |
| 10. | Honours/awards | |
| 11. | Research-administrative experience |
|
| 12. | Supervised dissertations |
Andrei Solntsev, MSc, 2003, superv. Vahur Kotkas, Mati Tombak. SYSTEMS OF EQUATIONS AND INEQUATIONS. SEARCHING AND ANALYSIS OF EXISTING ALGORITHMS.. Tartu Ülikool |
| 13. | Current research program | Knowledge-based software engineering. Distributed computing. Automated (logic based) program synthesis. |
| 14. | Current grant funding | |
| 15. | List of most important publications |
Kotkas, V. Structural Synthesis of Programs with Preconditions. In Proceedings of the Ninth Symposium on Programming Languages and Software Tools. Tartu 2005 Kotkas, V. Synthesis of Distributed Programs. In Proceedings of the Eighth Symposium on Programming Languages and Software Tools. Kuopio 2003. Kotkas, V. A distributed program synthesizer. Acta Cybernetica 15 2002. pp 567-581 . A.Kalja, V.Kotkas and T.Tiidemann. CAD Problem Solving and Technical Systems Modelling Using the AI Programming Environments. In: Information modelling and Knowledge Bases XII. H. Jaakkola et al. (Eds.) IOS Press, Amsterdam, 2001, 284-290. Harf, M., Kindel, K., Kotkas, V., Küngas, P., Tyugu, E. Automated program synthesis for Java Programming Language. LNCS 2244 Perspectives of System Informatics. Springer 2001. Kotkas, V., Küngas, P., Harf, M. The cash-point service in NUT. - Formal Apects of Computing, 2000, 12, 4, 222-224. Kotkas, V., Penjam, J., Tyugu, E. Ontology-based design of surveillance systems with NUT. – In: Proc. 3rd International Conference on Information Fusion, ISIF, Paris, Vol.II, 2000, WeB4, 3-9. |
last updated: 12.10.2005
[ sulge aken ]