[ sulge aken ]
| Elulookirjeldus (CV) | ||
| 1. | Eesnimi | Ando |
| 2. | Perekonnanimi | Saabas |
| 3. | Töökoht | Küberneetika Instituut |
| 4. | Ametikoht | Teadur |
| 5. | Sünniaeg | 21.09.1979 (päev.kuu.aasta) |
| 6. | Haridus | 2004 – Tallinna Tehnikaülikool, doktoriõpingud 2002 – 2004 Tallinna Tehnikaülikool, magistrikraad informaatika erialal 1998 – 2002 Tallinna Tehnikaülikool, bakalaureusekraad informaatika erialal 1987 - 1998 Tallinna Mustamäe Gümnaasium |
| 7. | Teenistuskäik | 06.2005 – Küberneetika Instituut, teadur 09.2002 – 05.2005 Küberneetika Instituut, insener 02.2003 – 06.2003 Estonian Business School, Lektor/assistent - Programmeerimine keeles Java 02.2003 – 06.2003 Tallinn Tehnikaülikool, Lektor/assistent - Tehisintellekti algoritmid 01.1999 – 09.2001 Säästva Eesti Instituut (SEI-Tallinn), Programmeerija 09.1998 – 05.2000 Audentese Erakool, Arvutiõpetaja |
| 8. | Teaduskraad | Teadusmagister |
| 9. | Teaduskraadi välja andnud asutus, aasta |
Tallinna Tehnikaülikool, Küberneetika Instituut, 2004 |
| 10. | Tunnustused | I preemia riiklikul üliõpilaste teadustööde konkursil tehnikateaduste valdkonnas tööga "A Framework for Design and Implementation of Visual Languages" |
| 11. | Teadusorganisatsiooniline ja –administratiivne tegevus |
2. APPSEM II Workshop Tallinnas, 14.-16. aprill 2004; korralduskomitee liige. III Eesti Arvuti- ja Süsteemiteaduse Suvekool (EASTS'04) pedasel, 8.-12. august 2004; korralduskomitee liige IV Eesti Arvuti- ja Süsteemiteaduse Suvekool (EASTS'05) pedasel, 7.-12. august 2005; korralduskomitee liige TCP/ICFP/GPCE 2005 konverents tallinnas, 23.september - 2.oktoober; korralduskomitee liige |
| 12. | Juhendamisel kaitstud väitekirjad |
|
| 13. | Teadustöö põhisuunad | Visuaalsed keeled, programmiloogikad, tõestust kandev kood. |
| 14. | Jooksvad grandid | |
| 15. | Teaduspublikatsioonid |
A. Saabas, T. Uustalu. A Compositional Natural Semantics and Hoare Logic for Low-Level Languages. 2nd Workshop on Structured Operational Semantics, 2005. To appear in Electronic Notes in Theoretical Computer Science, Elsevier. G. Barthe, T. Rezk, A. Saabas. Proof obligations preserving compilation. 3rd Workshop on Formal Aspects in Security and Trust, 2005. To appear in Lecture Notes in Computer Science, Springer. P. Grigorenko, A. Saabas, E. Tyugu. COCOVILA - Compiler-Compiler for Visual Languages. Proc. of the 5th Workshop on Language Descriptions, Tools and Applications, 2005. To appear in Electronic Notes in Theoretical Computer Science, Elsevier. P. Grigorenko, A. Saabas, E. Tyugu. Visual tool for generative programming. To appear in the proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM Press, 2005. |
viimati muudetud: 11.08.2005
| Curriculum Vitae (CV) | ||
| 1. | First Name | Ando |
| 2. | Surname | Saabas |
| 3. | Institution | Institute of Cybernetics |
| 4. | Position | Researcher |
| 5. | Date of birth | 21.09.1979 (day.month.year) |
| 6. | Education | 2004 - Tallinn Technical university, doctoral studies 2002 - 2004 Tallinn Technical University, MSc in Computer Science 1998 – 002 Tallinn Technical University, Bachelor in Computer Science 1987 - 1998 Tallinna Mustamäe Gümnaasium |
| 7. | Research and professional experience |
06/2005 – Institute of Cybernetics, researcher 09/2002 - 05/2005 Institute of Cybernetics, Engineer 02/2003 - 06/2003 Estonian Business School, Lecturer/assistant - Programming in Java 02/2003 - 06/2003 Tallinn Technical University, Lecturer/assistant - Algorithms of Artificial Intelligence 01/1999 - 09/2001 Stockholm Environmental Institute Tallinn Centre (SEI-Tallinn), Programmer 09/1998 - 05/2000 Audentes Private School, Teacher of programming classes |
| 8. | Academic degree | Master of Science |
| 9. | Dates and sites of earning the degrees |
Tallinn University of Technology, Institute of Cybernetics, 2004 |
| 10. | Honours/awards | |
| 11. | Research-administrative experience |
2nd APPSEM II Workshop, Tallinn, Estonia, 14-16 April 2004; member of the organizing committe. 3rd Estonian Summer School in Computer and System Science (ESSCaSS'04), Pedase, 8-12 August 2004; member of the organizing committe. 4th Estonian Summer School in Computer and System Science (ESSCaSS'05), Pedase, 7-12 August 2005; member of the organizing committe. |
| 12. | Supervised dissertations | |
| 13. | Current research program | Visual languages, programming logics, proof carrying code. |
| 14. | Current grant funding | |
| 15. | List of most important publications |
A. Saabas, T. Uustalu. A Compositional Natural Semantics and Hoare Logic for Low-Level Languages. 2nd Workshop on Structured Operational Semantics, 2005. To appear in Electronic Notes in Theoretical Computer Science, Elsevier. G. Barthe, T. Rezk, A. Saabas. Proof obligations preserving compilation. 3rd Workshop on Formal Aspects in Security and Trust, 2005. To appear in Lecture Notes in Computer Science, Springer. P. Grigorenko, A. Saabas, E. Tyugu. COCOVILA - Compiler-Compiler for Visual Languages. Proc. of the 5th Workshop on Language Descriptions, Tools and Applications, 2005. To appear in Electronic Notes in Theoretical Computer Science, Elsevier. P. Grigorenko, A. Saabas, E. Tyugu. Visual tool for generative programming. To appear in the proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM Press, 2005. |
last updated: 11.08.2005
[ sulge aken ]