This website uses cookies to store user session information. By using our website you consent to our terms of use. Read more
I agree
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
9.06.2021
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
9.06.2021

Search project

  • {{item.Name}}
Institution is projects' financier   Institution is projects' executor  
  • {{searchListItem.Name}}
All   Projects   Master projects   Subprojects  
New Frascati (2015)
Old and new Frascati
All
Ongoing
Finished
Beginning
Fuzzy
Precise
  • Found 10 results
ProgramTypeNumberNameProject startProject endPrincipal investigatorInstitutionFinancing
ETFETF7520Algebraic automata theory01.01.200831.12.2011Hellis TammTallinn University of Technology , Institute of Cybernetics at TUT43 111,63 EUR
TKEXCSEstonian Excellence in Computer Science - EXCS07.07.200831.08.2015Tarmo UustaluTallinn University of Technology ; Tallinn University of Technology , Institute of Cybernetics at TUT4 244 372,58 EUR
PRGPRG1210Automata in Learning, Interaction and Concurrency (ALICE)01.01.202131.12.2025Paweł Maria SobocińskiTallinn University of Technology , School of Information Technologies, Department of Software Science237 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 UustaluTallinn University of Technology , Institute of Cybernetics at TUT526 194,00 EUR
ERMOSERMOS147Group theory and combinatorics for computer science01.09.201231.08.2014Daniele D'AngeliTallinn University of Technology , Institute of Cybernetics at TUT64 100,00 EUR
TKSubprojectTAR16013 (EXCITE) (TK148)Estonian Centre of Excellence in ICT Research01.09.201601.03.2023Maarja KruusmaaTallinn University of Technology , School of Information Technologies, Centre for Biorobotics; Cybernetica AS2 121 014,65 EUR
ETFETF9398Verifiable guarantees for concurrent software01.01.201231.03.2016Silvio CapobiancoTallinn University of Technology , Institute of Cybernetics at TUT46 440,00 EUR
IUTIUT33-13Methods, tools and processes for software with strong guarantees01.01.201531.12.2020Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT; Tallinn University of Technology , School of Information Technologies, Department of Software Science1 080 000,00 EUR
SFSF0322709s06Dependable software and human language technologies01.01.200631.12.2011Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT968 170,23 EUR
SFSF0140007s12Dependable software and human language technologies01.01.201231.12.2014Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT514 620,00 EUR