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
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
  • Found 9 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
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 642 075,15 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 Science900 000,00 EUR
SFSF0140007s12Dependable software and human language technologies01.01.201231.12.2014Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT514 620,00 EUR
SFSF0322709s06Dependable software and human language technologies01.01.200631.12.2011Tarmo UustaluTallinn University of Technology , Institute of Cybernetics at TUT968 170,23 EUR