See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
14.10.1978
Scopus Author ID 35102980400

Teenistuskäik

Töökohad ja ametid
01.02.2017–...   
SAP Potsdam, vanemarendaja (1,00)
29.12.2014–15.09.2016   
FireEye Dresden, formaalse verifitseerimise insener (1,00)
2013–2013   
Darmstadti Tehnikaülikool, külalisprofessor (1,00)
01.03.2011–28.12.2014   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Vanemteadur (1,00)
01.10.2008–28.02.2011   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Erakorraline vanemteadur (1,00)
2007–2008   
Conservatoire National des Arts et Métiers / INRIA Rocquencourt, Järeldoktor (1,00)
2004–2005   
Kyoto Ülikool, uurimisassistent (1,00)
 
 
Haridustee
2004–2007   
Kyoto Ülikool, doktoriõpingud arvutiteaduses
2001–2004   
Kyoto Ülikool, magistriõpingud arvutiteaduses
1997–2001   
Kyoto Ülikool, bakalaureuseõpingud matemaatikas
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2019−...   
programmitoimkonna liige, FSCD 2020
2019−2019   
programmitoimkonna liige, TYPES 2019
2018−2018   
programmitoimkonna liige, IFL 2018
2018−2018   
prorgammitoimkonna liige, TYPES 2018
2018−2019   
programmitoimkonna liige, PEPM 2019
2017−2017   
programmitoimkonna liige, Haskell in Leipzig 2017
2017−2017   
programmitoimkonna liige, TYPES 2017
2016−2016   
programmitoimkonna liige, TyDe '16
2016−2017   
programmitoimkonna liige, ITP 2017
2016−2017   
kaasorganisaator, COST EUTYPES koosolek TTT 2017
2015−2016   
programmitoimkonna liige, 25th European Symposium on Programming, ESOP 2016
2015−2016   
valimistoimkonna liige, ACMi SIGPLANi John C. Reynoldsi doktoritöö auhind
2014−2015   
Programmitoimkonna liige, ACM SIGPLAN 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM 2015
2014−2015   
Programmitoimkonna liige, ACM SIGPLAN International Conference on Functional Programming, ICFP 2015
2014−2015   
Programmitoimkonna liige, PPL 2015
2014−2014   
Programmitoimkonna liige, ACM SIGPLAN Haskell Symposium 2014
2014−2014   
Programmitoimkonna liige, ACM SIGPLAN ML Family Workshop 2014
2014−2015   
Programmitoimkonna liige, 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015
2014−2015   
Kaasorganisaator, NII Shonani töötuba Static Analysis Meets Runtime Verification
2013−2014   
Programmitoimkonna liige, FLOPS 2014
2013−2013   
Programmitoimkonna liige, TFP 2013
2012−2012   
Programmitoimkonna liige, APLAS 2012
2012−2014   
NII Shonani töötoa Coinduction for Computation Structures and Programming Languages kaasorganisaator
2012−2012   
Hyeonseung Im'i doktoritöö kaitsmiskomisjoni liige POSTECHis
2012−2013   
Programmitoimkonna liige, PPL 2013
2012−2012   
Programmitoimkonna liige, Workshop on ML 2012
2012−2012   
Programmitoimkonna liige, EXPRESS/SOS 2012
2011−2012   
Programmitoimkonna liige, FLOPS 2012
2011−2011   
Programmitoimkonna liige, DSL 2011
2011−2011   
Programmitoimkonna liige, SOS 2011
2010−2011   
Programmitoimkonna liige, PPL 2011
2010−2011   
Vesal Vojdani doktoritöö kaitsmiskomisjoni liige TÜs

Kvalifikatsioon

 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; TÄPSUSTUS: programmeerimiskeeled, tüübid ja kompileerimine, tarkvara verifitseerimine

Publikatsioonid

Klass
Aasta
Publikatsioon
 
3.1.
2018
3.1.
2016
1.1.
2015
3.1.
2015
4.2.
2015
3.1.
2014
1.1.
2013
3.1.
2013
3.1.
2013
4.2.
2013
5.2.
2013
5.2.
2013
1.1.
2012
3.1.
2012
1.1.
2011
1.1.
2011
3.1.
2011
3.1.
2011
3.1.
2011
3.1.
2010
3.1.
2010
3.1.
2010
3.4.
2010
1.1.
2009
3.1.
2009
2.3.
2007
3.4.
2007
1.1.
2006
3.1.
2006
3.5.
2006
3.4.
2005
3.5.
2005
3.4.
2004
24.12.2019
14.10.1978
Scopus Author ID 35102980400

Career

Institutions and positions
01.02.2017–...   
SAP Potsdam, senior developer (1,00)
29.12.2014–15.09.2016   
FireEye Dresden, formal verification engineer (1,00)
2013–2013   
Technische Universität Darmstadt, guest professor (1,00)
01.03.2011–28.12.2014   
Tallinn University of Technology , Institute of Cybernetics at TUT, Senior Researcher (1,00)
01.10.2008–28.02.2011   
Tallinn University of Technology , Institute of Cybernetics at TUT, Extraordinary Senior Researcher (1,00)
2007–2008   
Conservatoire National des Arts et Métiers / INRIA Rocquencourt, Post-Doc (1,00)
2004–2005   
Kyoto University, research assistant (1,00)
 
 
Education
2004–2007   
Kyoto University, doctoral studies in computer science
2001–2004   
Kyoto University, master studies in computer science
1997–2001   
Kyoto University, bachelor studies in mathematics
 
 
R&D related managerial and administrative work
2019−...   
member of program committee, FSCD 2020
2019−2019   
member of program committee, TYPES 2019
2018−2018   
member of program committee, IFL 2018
2018−2018   
member of program committee, TYPES 2018
2018−2019   
programmitoimkonna liige, PEPM 2019
2017−2017   
member of program committee, Haskell in Leipzig 2017
2017−2017   
member of program committee, TYPES 2017
2016−2016   
member of program committee, TyDe '16
2016−2017   
member of program committee, ITP 2017
2016−2017   
co-organizer, COST EUTYPES meeting TTT 2017
2015−2016   
program committee member for 25th European Symposium on Programming, ESOP 2016
2015−2016   
member of selection committee, ACM SIGPLAN J. C. Reynolds doctoral dissertation award
2014−2015   
Program committee member for ACM SIGPLAN 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM 2015
2014−2015   
Program committee member for 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015
2014−2015   
Program committee member for 17th JSSST workshop on programming and programming languages, PPL 2015
2014−2014   
Program committee member for ACM SIGPLAN Haskell Symposium 2014
2014−2014   
Program committee member for ACM SIGPLAN ML Family Workshop 2014
2014−2015   
Program committee member for 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015
2014−2015   
Co-organizer for NII Shonan meeting on Static Analysis Meets Runtime Verification
2013−2014   
Program committee member for 12th International Symposium on Functional and Logic Programming, FLOPS 2014
2013−2013   
Program committee member for 14th Symposium on Trends on Functional Programming, TFP 2013
2012−2012   
Program committee for the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012
2012−2014   
Co-organizer of NII Shonan meeting on Coinduction for Computation Structures and Programming Languages
2012−2012   
Committee of Hyeonseung Im's PhD defense at POSTECH
2012−2013   
Program committee member for 15th JSSST workshop on programming and programming languages, PPL 2013
2012−2012   
Program committee member for ACM SIGPLAN Workshop on ML, 2012
2012−2012   
Program committee member for combined 19th Int. Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics, EXPRESS/SOS 2012
2011−2012   
Program committee for the 11th International Symposium on Functional and Logic Programming, FLOPS 2012
2011−2011   
Program committee for IFIP Working Conference on Domain-Specific Languages, DSL 2011
2011−2011   
Program committee for 8th Workshop on Structural Operational Semantics, SOS 2011
2010−2011   
Program committee for the 13th JSSST workshop on programming and programming languages, PPL 2011
2010−2011   
Committee of Vesal Vojdani's PhD defense at UT

Qualifications

 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIFICATION: programming languages, types and compilation, software verification
 
 

Publications

Category
Year
Publication
 
3.1.
2018
3.1.
2016
1.1.
2015
3.1.
2015
4.2.
2015
3.1.
2014
1.1.
2013
3.1.
2013
3.1.
2013
4.2.
2013
5.2.
2013
5.2.
2013
1.1.
2012
3.1.
2012
1.1.
2011
1.1.
2011
3.1.
2011
3.1.
2011
3.1.
2011
3.1.
2010
3.1.
2010
3.1.
2010
3.4.
2010
1.1.
2009
3.1.
2009
2.3.
2007
3.4.
2007
1.1.
2006
3.1.
2006
3.5.
2006
3.4.
2005
3.5.
2005
3.4.
2004
24.12.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
MUUIKT29 (3.2.1201.13-0029)Coinduction for semantics, analysis and verification of communicating and concurrent reactive software01.03.201330.11.2015Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut526 194,00 EUR
MUUHATS (231620)Highly Adaptive and Trustworthy Software Using Formal Models - HATS01.05.201028.02.2013Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut216 746,00 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
ETFETF9398Paralleeltarkvara kontrollitavad garantiid01.01.201231.03.2016Silvio CapobiancoTallinna Tehnikaülikool, TTÜ Küberneetika Instituut46 440,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