1.08.1975
620 4221
silvio@cs.ioc.ee
Scopus Author ID: 25821865400; Google Scholar: 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
2010−2010   
korraldaja, minitöötuba rakuautomaatide tarkvarast, Küberneetika Instituut
 
 
Loometöö
2018– Kursuse "ITB8832 Matemaatika arvutiteaduses" õppematerjali väljatöötamine: loenguslaidid, harjutused koos lahendustega, klassiruumiproovid. (Tallinn, Tallinn University of Technology, Silvio Capobianco).
 
 
Teenistuskäigu lisainfo
Alates 2017.a, kohtunik Zentralblatt MATH ja American Mathematical Society'ile;
Kohtunik eksperdihinnanguga ajakirjatele: Theoretical Computer Science; Natural Computing; Chaos, Solitons, and Fractals; jne.;
Sügis 2019.a: õpetaja, kursus ITB8832 Matemaatika Arvutiteaduses, TTÜ;
Kevad 2019.a: õpetaja, kursus ITT9132 Konkreetne Matemaatika, TTÜ;
Sügis 2018.a: õpetaja, kursus ITB8832 Matemaatika Arvutiteaduses, TTÜ;
Sügis 2016.a: õpetaja, kursus ITT9131 Konkreetne Matemaatika, TTÜ;
Sügis 2014.a: kursus ITT9130 Konkreetne Matemaatika, TTÜ;
Kevad 2013.a: õpetaja, kursus ITT8040 Rakuautomaadid, TTÜ;
Sügis 2012.a: kursus ITT9130 Konkreetne Matemaatika, TTÜ;
Sügis 2010.a: kursus ITT9130 Konkreetne Matemaatika, TTÜ;

Kvalifikatsioon

 
 
Teadustöö põhisuunad
VALDKOND: 4. Loodusteadused ja tehnika; 4.4. Matemaatika; PÕHISUUND: topoloogiline ja sümbooline dünaamika
VALDKOND: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; PÕHISUUND: rakuautomaadid

Publikatsioonid

Klass
Aasta
Publikatsioon
 
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
20.09.2019
1.08.1975
620 4221
silvio@cs.ioc.ee
Scopus Author ID: 25821865400; Google Scholar: scholar.google.com/citations?user=Zwvo78oAAAAJ

Career

Institution(s) and position(s)
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 (=MSc) studies in mathematics
 
 
R&D related managerial and administrative work
2010−2010   
Organizer, Mini-Workshop on Cellular Automata Software, Institute of Cybernetics
 
 
Creative work
2018- 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 career 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 2019: Instructor, course ITB8832 Mathematics for Computer Science, TalTech;
Spring 2019: Instructor, course ITT9132 Concrete Mathematics, TTÜ;
Fall 2018: Instructor, course ITTB8832 Mathematics for Computer Science, TTÜ;
Fall 2016: Instructor, course ITT9131 Concrete Mathematics, TTÜ;
Fall 2014: Teaching Assistant, course ITT9130 Concrete Mathematics, TTÜ;
Spring 2013: Instructor, course ITT8040 Callular Automata, TUT;
Fall 2012: Teaching Assistant, course ITT9130 Concrete Mathematics, TTÜ;
Fall 2010: Teaching Assistant, course ITT9130 Concrete Mathematics, TTÜ;

Qualifications

 
 
Field of research
FIELD OF RESEARCH: 4. Natural Sciences and Engineering; 4.4. Mathematics; SPECIALITY: topological and symbolic dynamics
FIELD OF RESEARCH: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; SPECIALITY: cellular automata
 
 

Publications

Category
Year
Publication
 
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
20.09.2019
  • Leitud 9 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
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 642 075,15 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 instituut900 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