See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
1.08.1975
620 4221
Scopus Author ID: 25821865400;

Google Scholar Citations: https://scholar.google.com/citations?user=Zwvo78oAAAAJ

Teenistuskäik

Töökohad ja ametid
01.01.2017–...   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Vanemteadur (1,00)
08.01.2012–31.12.2016   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Vanemteadur (1,00)
08.01.2009–07.01.2012   
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Erakorraline vanemteadur (1,00)
01.01.2006–31.12.2008   
Reykjavíki Ülikool, arvutiteaduse teaduskond, järeldoktorant
01.01.2005–31.12.2006   
Rooma La Sapienza Ülikool, arhitektuuri teaduskond, adjunkt
 
 
Haridustee
2000–2005   
Rooma La Sapienza Ülikooli, doktoriõpingud matemaatikas
1993–2000   
Rooma La Sapienza Ülikooli, laurea (=MSc) kraadi õpingud matemaatikas
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2020−...   
Programmikomitee liige, ALIFE 2020 konverents
2010−2010   
korraldaja, minitöötuba rakuautomaatide tarkvarast, Küberneetika Instituut
 
 
Loometöö
2018–2019 Kursuse "ITB8832 Matemaatika arvutiteaduses" õppematerjali väljatöötamine: loenguslaidid, harjutused koos lahendustega, kontrolltööd. (Tallinn, Tallinn University of Technology, Silvio Capobianco).
 
 
Lisainfo
Alates 2017.a, retsensent Zentralblatt MATH ja American Mathematical Society'le
retsensent eelretsenseeritavatele ajakirjafele: Theoretical Computer Science; Natural Computing; Chaos, Solitons, and Fractals; jne.
Sügis 2020.a: põhiõppejõud, kursus ITB8832 Matemaatika Arvutiteaduses, TTÜ
Sügis 2019.a: põhiõppejõud, kursus ITB8832 Matemaatika Arvutiteaduses, TTÜ
Kevad 2019.a: põhiõppejõud, kursus ITT9132 Konkreetne Matemaatika, TTÜ
Sügis 2018.a: põhiõppejõud, kursus ITB8832 Matemaatika Arvutiteaduses, TTÜ
Sügis 2016.a: assistent, kursus ITT9131 Konkreetne Matemaatika, TTÜ
Sügis 2014.a: assistent, kursus ITT9130 Konkreetne Matemaatika, TTÜ
Kevad 2013.a: põhiõppejõud, kursus ITT8040 Rakuautomaadid, TTÜ
Sügis 2012.a: assistent, kursus ITT9130 Konkreetne Matemaatika, TTÜ
Sügis 2010.a: assistent, kursus ITT9130 Konkreetne Matemaatika, TTÜ

Kvalifikatsioon

 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; TÄPSUSTUS: rakuautomaadid
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.4. Matemaatika; CERCS KLASSIFIKAATOR: P130 Funktsioonid, diferentsiaalvõrrandid ; TÄPSUSTUS: topoloogiline ja sümboolne dünaamika

Jooksvad projektid

Lõppenud projektid

Publikatsioonid

Klass
Aasta
Publikatsioon
 
1.1.
2021
3.1.
2020
6.7.
2020
6.7.
2019
1.1.
2017
3.1.
2016
5.2.
2016
3.4.
2015
5.2.
2014
1.1.
2013
1.1.
2012
1.1.
2011
3.1.
2011
3.4.
2011
1.1.
2010
3.1.
2010
3.1.
2010
1.1.
2009
1.1.
2009
3.4.
2009
1.1.
2008
1.1.
2008
1.1.
2008
1.2.
2008
3.1.
2008
1.1.
2006
1.1.
2004
2.3.
2004
17.02.2021
1.08.1975
620 4221
Scopus Author ID: 25821865400;

Google Scholar Citations: https://scholar.google.com/citations?user=Zwvo78oAAAAJ

Career

Institutions and positions
01.01.2017–...   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Senior Researcher (1,00)
08.01.2012–31.12.2016   
Tallinn University of Technology , Institute of Cybernetics at TUT, Senior Researcher (1,00)
08.01.2009–07.01.2012   
Tallinn University of Technology , Institute of Cybernetics at TUT, Extraordinary Senior Researcher (1,00)
01.01.2006–31.12.2008   
School of Computer Science, Reykjavik University; Postdoc
01.01.2005–31.12.2006   
First Faculty of Architecture, University of Rome "La Sapienza"; Adjunct
 
 
Education
2000–2005   
University of Rome "La Sapienza", PhD studies in mathematics
1993–2000   
University of Rome "La Sapienza", laurea (=BSc) studies in mathematics
 
 
R&D related managerial and administrative work
2020−...   
Member of program committee, ALIFE 2020 conference
2010−2010   
Organizer, Mini-Workshop on Cellular Automata Software, Institute of Cybernetics
 
 
Creative work
2018-2019 Development of teaching material for the course "ITB8832 Mathematics for Computer Science": lecture slides, exercises with solutions, classroom tests. (Tallinn, Tallinn University of Technology, Silvio Capobianco).
 
 
Additional information
Since 2017, referee for Zentralblatt MATH and for American Mathematical Society
Referee for peer reviewed journals: Theoretical Computer Science; Natural Computing; Chaos, Solitons, and Fractals; etc.
Autumn 2020: Instructor, course ITB8832 Mathematics for Computer Science, TUT
Autumn 2019: Instructor, course ITB8832 Mathematics for Computer Science, TUT
Spring 2019: Instructor, course ITT9132 Concrete Mathematics, TUT
Fall 2018: Instructor, course ITTB8832 Mathematics for Computer Science, TUT
Fall 2016: Instructor, course ITT9131 Concrete Mathematics, TUT
Fall 2014: Teaching Assistant, course ITT9130 Concrete Mathematics, TUT
Spring 2013: Instructor, course ITT8040 Cellular Automata, TUT
Fall 2012: Teaching Assistant, course ITT9130 Concrete Mathematics, TUT
Fall 2010: Teaching Assistant, course ITT9130 Concrete Mathematics, TUT

Qualifications

 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIFICATION: cellular automata
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.4. Mathematics; CERCS CLASSIFICATION: P130 Functions, differential equations ; SPECIFICATION: topological and symbolic dynamics
 
 

Projects in progress

Completed projects

Publications

Category
Year
Publication
 
1.1.
2021
3.1.
2020
6.7.
2020
6.7.
2019
1.1.
2017
3.1.
2016
5.2.
2016
3.4.
2015
5.2.
2014
1.1.
2013
1.1.
2012
1.1.
2011
3.1.
2011
3.4.
2011
1.1.
2010
3.1.
2010
3.1.
2010
1.1.
2009
1.1.
2009
3.4.
2009
1.1.
2008
1.1.
2008
1.1.
2008
1.2.
2008
3.1.
2008
1.1.
2006
1.1.
2004
2.3.
2004
17.02.2021

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 10 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
ETFETF7520Algebraline automaatide teooria01.01.200831.12.2011Hellis TammTallinna Tehnikaülikool, TTÜ Küberneetika Instituut43 111,63 EUR
TKEXCSArvutiteaduse tippkeskus - EXCS07.07.200831.08.2015Tarmo UustaluTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut4 244 372,58 EUR
PRGPRG1210Automaadid: õppimine, interaktsioon ja konkurentsus (ALICE)01.01.202131.12.2025Paweł Maria SobocińskiTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut237 875,00 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
ERMOSERMOS147Group theory and combinatorics for computer science01.09.201231.08.2014Daniele D'AngeliTallinna Tehnikaülikool, TTÜ Küberneetika Instituut64 100,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
ETFETF9398Paralleeltarkvara kontrollitavad garantiid01.01.201231.03.2016Silvio CapobiancoTallinna Tehnikaülikool, TTÜ Küberneetika Instituut46 440,00 EUR
IUTIUT33-13Tugevate garantiidega tarkvara meetodid, tööriistad ja protsessid01.01.201531.12.2020Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut1 080 000,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