See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
21.09.1979
http://cs.ioc.ee/~ando/

Teenistuskäik

Töökohad ja ametid
01.01.2009–...   
Skype
01.01.2008–31.12.2008   
Microsoft Research, Redmond, stažöör
2005–13.03.2009   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Teadur (1,00)
2002–2005   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Insener (0,50)
01.01.1999–31.12.2001   
Säästva Eesti Instituut (SEI-Tallinn), Programmeerija
01.01.1998–31.12.2000   
Audentese Erakool, Arvutiõpetaja
 
 
Haridustee
2004–2008   
Tallinna Tehnikaülikool, doktoriõpingud info- ja kommunikatsioonitehnoloogias
2002–2004   
Tallinna Tehnikaülikool, magistriõpingud informaatikas
1998–2002   
Tallinna Tehnikaülikool, bakalaureuseõpingud informaatikas
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2006−2007   
Testcom-FATES/FORTE 2007, Tallinn, 26.-29.6.2007; korralduskomitee liige
2005−2005   
IV Eesti Arvuti- ja Süsteemiteaduse Suvekool (EASTS '05), Pedase, 7.-12. august 2005; korralduskomitee liige
2005−2005   
TCP/ICFP/GPCE 2005 konverents Tallinnas, 23. sept.-1. okt. 2005; korralduskomitee liige
2005−2006   
MPC/AMAST 2006, Kuressaare, 2. -8. juuli 2006; korralduskomitee liige
2004−2004   
2. APPSEM II Workshop Tallinnas, 14.-16. aprill 2004; korralduskomitee liige
2004−2004   
III Eesti Arvuti- ja Süsteemiteaduse Suvekool (EASTS '04), Pedase, 8.-12. august 2004; korralduskomitee liige

Kvalifikatsioon

 
 
Teaduspreemiad ja tunnustused
2008, Ando Saabas, ITLi Ustus Aguri stipendium
2004, Ando Saabas, I preemia üliõpilaste riiklikult teadustööde konkursilt
 
 
Teadustöö põhisuunad
VALDKOND: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; PÕHISUUND: Programmiloogikad, programmeerimiskeelte semantika, tõestust kandev kood
 
 
Lisainfo
2006-2011 SF teema 0322709s06 Usaldusväärsed tarkvara- ja
inimkeeletehnoloogiad, põhitäitja //
2005-2009 FP6 IST integreeritud projekt MOBIUS, põhitäitja //
2003-2006 ETFi grant 5567 Mitteklassikalised loogikad ja
programmeerimisteooria, põhitäitja //
2006-2009 ETFi grant 6886 Hajusrakenduste kompositsiooni loogikapõhised meetodid, põhitäitja //
2007-2010 ETFi grant 6940 Tüübisüsteemid, programmiloogikad ja usaldusväärne koodigenereerimine, põhitäitja

Publikatsioonid

Klass
Aasta
Publikatsioon
 
1.1.
2009
3.1.
2009
3.1.
2009
1.1.
2008
2.3.
2008
3.1.
2008
3.1.
2008
5.1.
2008
1.1.
2007
1.1.
2007
3.1.
2007
1.1.
2006
1.1.
2006
3.1.
2006
1.1.
2005
3.1.
2005
5.2.
2005
2.3.
2004
3.4.
2003
5.04.2018
21.09.1979
http://cs.ioc.ee/~ando/

Career

Institution and occupation
01.01.2009–...   
Skype
01.01.2008–31.12.2008   
Microsoft Research, Redmond, intern
2005–13.03.2009   
Tallinn University of Technology , Institute of Cybernetics at TUT, Researcher (1,00)
2002–2005   
Tallinn University of Technology , Institute of Cybernetics at TUT, Engineer (0,50)
01.01.1999–31.12.2001   
Stockholm Environmental Institute Tallinn Centre (SEI-Tallinn), Programmer
01.01.1998–31.12.2000   
Audentes Private School, Teacher of programming classes
 
 
Education
2004–2008   
Tallinn University of Technology, PhD studies in information and communication technology
2002–2004   
Tallinn University of Technology, MSc studies in informatics
1998–2002   
Tallinn University of Technology, BSc studies in informatics
 
 
R&D related managerial and administrative work
2006−2007   
Testcom-FATES/FORTE 2007, Tallinn, 26-29 June 2007; member of organizing committee
2005−2005   
4th Estonian Summer School in Computer and System Science (ESSCaSS'05), Pedase, 7-12 August 2005; member of organizing committee
2005−2005   
TCP/ICFP/GPCE 2005, Tallinn, 23 Sept.-1 Oct. 2005; member of organizing committee
2005−2006   
MPC/AMAST 2006, Kuressaare, 2-8 July 2006; member of organizing committee
2004−2004   
2nd APPSEM II Workshop, Tallinn, 14-16 April 2004; member of organizing committee
2004−2004   
3rd Estonian Summer School in Computer and System Science (ESSCaSS'04), Pedase, 8-12 August 2004; member of organizing committee

Qualifications

 
 
Honours & awards
2008, Ando Saabas, Ustus Agur stipend from the Estonian Association for Information Technology and Telecommunications
2004, Ando Saabas, 1st prize from national competition of scientific works of university students
 
 
Field of research
FIELD OF RESEARCH: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIALITY: Program logics, programming language semantics, proof carrying code
 
 
Additional information
2006-2011 HTM target financing theme 0322709s06 Dependable software and human language technologies, investigator //
2005-2009 FP6 IST integrated project MOBIUS, investigator //
2003-2006 ETF grant 5567 Nonclassical logics and programming theory, investigator //
2006-2009 ETF grant 6886 Logic-based methods of composition of distributed applications, investigator
2007-2010 ETF grant 6940 Type systems, program logics and trustworthy code generation, investigator

Publications

Category
Year
Publication
 
1.1.
2009
3.1.
2009
3.1.
2009
1.1.
2008
2.3.
2008
3.1.
2008
3.1.
2008
5.1.
2008
1.1.
2007
1.1.
2007
3.1.
2007
1.1.
2006
1.1.
2006
3.1.
2006
1.1.
2005
3.1.
2005
5.2.
2005
2.3.
2004
3.4.
2003
5.04.2018
  • Leitud 7 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
TKEXCSArvutiteaduse tippkeskus - EXCS07.07.200831.08.2015Tarmo UustaluTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut4 244 372,58 EUR
ETFETF6886Hajusrakenduste kompositsiooni loogikapõhised meetodid01.01.200631.12.2009Enn TõuguTallinna Tehnikaülikool, TTÜ Küberneetika Instituut32 496,79 EUR
MUUG5400 (ETF5400)Laiendatav visuaalne kirjelduskeel koos tugikeskkonnaga01.01.200331.12.2005Enn TõuguTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut13 204,15 EUR
ETFETF5567Mitteklassikalised loogikad ja programmeerimisteooria01.01.200331.12.2006Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut48 420,17 EUR
MUUMOBIUS (15905)Mobiilsus, ubikviteet ja turvalisus väikestele seadmetele - MOBIUS01.09.200531.08.2009Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut217 238,95 EUR
ETFETF6940Programmiloogikad, tüübisüsteemid ja usaldusväärne koodigenereerimine01.01.200731.12.2010Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut61 030,00 EUR
SFSF0322709s06Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad01.01.200631.12.2011Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut968 170,23 EUR