See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
8.05.1975

Teenistuskäik

Töökohad ja ametid
01.01.2010–...   
IB Krates OÜ, Juhtivinsener (0,75)
16.08.2010–30.11.2015   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, insener (0,25)
01.01.2010–31.12.2010   
Institut National Polytechnique de Toulouse, Insener
01.01.2009–31.12.2009   
Institut National Polytechnique de Toulouse, Insener
16.08.2007–15.08.2010   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Erakorraline teadur (0,25)
01.01.2004–30.09.2009   
IB Krates OÜ, Juhtivinsener (0,75)
2003–2005   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Automaatikainstituut, Reaalajasüsteemide õppetool, Uurimisinsener (0,50)
01.08.2001–31.12.2003   
IB Krates OÜ, automaatikainsener (0,75)
1999–2001   
Parkli HL OÜ, insener (0,25)
 
 
Haridustee
2009–...   
Institut National Polytechnique de Toulouse, doktoriõpingud info- ja kommunikatsioonitehnoloogias (kaasjuhendamine)
2007–...   
Tallinna Tehnikaülikool, doktoriõpingud info- ja kommunikatsioonitehnoloogias
2004–2007   
Tallinna Tehnikaülikool, magistriõpingud arvuti- ja süsteemitehnikas
1997–2003   
Tallinna Tehnikaülikool, bakalaureuseõpingud arvuti- ja süsteemitehnikas (lõpetatud cum laude)

Kvalifikatsioon

Lõppenud projektid

Publikatsioonid

Klass
Aasta
Publikatsioon
 
1.2.
2016
3.1.
2016
5.2.
2015
3.1.
2014
3.4.
2014
3.4.
2014
3.5.
2014
5.2.
2014
5.2.
2014
3.5.
2013
3.1.
2012
3.4.
2012
3.5.
2012
3.1.
2011
3.5.
2011
6.3.
2011
1.3.
2010
3.4.
2010
3.5.
2010
3.4.
2008
3.5.
2008
24.05.2019
8.05.1975

Career

Institutions and positions
01.01.2010–...   
IB Krates, Leading engineer (0,75)
01.01.2010–31.12.2010   
Institut National Polytechnique de Toulouse, Engineer
01.01.2009–31.12.2009   
Institut National Polytechnique de Toulouse, Engineer
16.08.2007–15.08.2010   
Tallinn University of Technology , Institute of Cybernetics at TUT, Extraordinary Researcher (0,25)
01.01.2004–30.09.2009   
IB Krates, Leading engineer (0,75)
2003–2005   
Tallinn University of Technology , School of Information Technologies, Department of Computer Control, Chair of Real Time Systems, Other staff (0,50)
01.08.2001–31.12.2003   
IB Krates, automation engineer (0,75)
1999–2001   
Parkli HL OÜ, engineer (0,25)
 
 
Education
2009–...   
Institut National Polytechnique de Toulouse, doctoral studies in information and communication technology (cosupervised)
2007–...   
Tallinn University of Technology, doctoral studies in information and communication technology
2004–2007   
Tallinn University of Technology, master studies studies in computer and systems engineering
1997–2003   
Tallinn University of Technology, bachelor studies studies in computer and systems engineering (cum laude)

Qualifications

 
 
Honours & awards
2007, Andres Toom, 1st prize from the 2007 student research paper contest of the Estonian Academy of Sciences
 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.7. Telecommunications; SPECIFICATION: Reliable Code Generation from Formal Models
 
 

Completed projects

Publications

Category
Year
Publication
 
1.2.
2016
3.1.
2016
5.2.
2015
3.1.
2014
3.4.
2014
3.4.
2014
5.2.
2014
5.2.
2014
3.1.
2012
3.4.
2012
3.1.
2011
1.3.
2010
3.4.
2010
3.4.
2008
24.05.2019

Otsi projekti

  • {{item.Name}}
Asutus on projekti finantseerija   Asutus on projekti teostaja  
  • {{searchListItem.Name}}
Kõik   Tavaprojektid   Ülemprojektid   Alamprojektid  
Uus Frascati (2015)
Uus ja vana Frascati (otsing uue järgi väljastab ka seotud vanad)
Kõik
Käimasolevad
Lõppenud
Algus
Hajus
Täpne
  • Leitud 8 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
MUUEU23690Gene-Auto, Automaatne koodigeneraator sardsüsteemidele05.09.200630.06.2008Tõnu Näks; Andres ToomIB Krates OÜ190 254,00 EUR
MUUEU40149Hi-MoCo: Mudelikompilaator ohutuskriitilistele süsteemidele25.04.201131.03.2014Tõnu Näks; Andres ToomIB Krates OÜ179 536,00 EUR
TKAlamprojektTAR16013 (EXCITE) (TK148)IT Tippkeskus EXCITE01.09.201601.03.2023Maarja KruusmaaTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Biorobootika keskus; Cybernetica AS2 121 014,65 EUR
ETFETF9475Matemaatilised struktuurid programmeerimiskeeltes01.01.201231.03.2016Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut33 984,00 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
SFSF0140007s12Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad01.01.201231.12.2014Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut514 620,00 EUR