This website uses cookies to store user session information. By using our website you consent to our terms of use. Read more
I agree
20.02.1975
Scopus Author ID 7005982452

Career

Institutions and positions
01.03.2019–...   
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Researcher (1,00)
2016–2018   
Data61 / CSIRO, Sydney, research engineer (1,00)
2013–2014   
ICS AG, Stuttgart, development engineer (1,00)
2012–2013   
Critical Software SA, Coimbra, Post-Doc (1,00)
2008–2010   
DFKI, Bremen, Researcher (1,00)
2003–2008   
Universität Bremen, Junior Researcher (1,00)
 
 
Education
2003–2010   
Universität Bremen, PhD studies in computer science
1997–2002   
Universität Bremen, diploma studies in computer science

Qualifications

 
 
Fields of research
ETIS RESEARCH FIELD: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS RESEARCH FIELD: P170 Computer science, numerical analysis, systems, control ; SPECIFICATION: software verification, interactive theorem provers
 
 

Projects in progress

Publications

Category
Year
Publication
 
6.7.
2020
3.1.
2018
3.1.
2017
1.2.
2016
1.2.
2016
2.3.
2010
3.1.
2010
1.2.
2006
3.1.
2004
14.06.2021
20.02.1975
Scopus Author ID 7005982452

Teenistuskäik

Töökohad ja ametid
01.03.2019–...   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Teadur (1,00)
2016–2018   
Data61 / CSIRO, Sydney, uurimisinsener (1,00)
2013–2014   
ICS AG, Stuttgart, arendusinsener (1,00)
2012–2013   
Critical Software SA, Coimbra, Järeldoktor (1,00)
2008–2010   
DFKI, Bremen, Teadur (1,00)
2003–2008   
Universität Bremen, Nooremteadur (1,00)
 
 
Haridustee
2003–2010   
Universität Bremen, doktorantuur arvutiteaduses
1997–2002   
Universität Bremen, diplomiõpingud arvutiteaduses

Kvalifikatsioon

 
 
Teadustöö põhisuunad
ETIS VALDKOND: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS VALDKOND: P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria); TÄPSUSTUS: tarkvara verifitseerimine, interaktiivsed teoreemitõestajad

Jooksvad projektid

Publikatsioonid

Klass
Aasta
Publikatsioon
 
6.7.
2020
3.1.
2018
3.1.
2017
1.2.
2016
1.2.
2016
2.3.
2010
3.1.
2010
1.2.
2006
3.1.
2004
14.06.2021

Search project

  • {{item.Name}}
Institution is projects' financier   Institution is projects' executor  
  • {{searchListItem.Name}}
All   Projects   Master projects   Subprojects  
All
Ongoing
Finished
Beginning
Fuzzy
Precise
  • Found 1 results
ProgramTypeNumberNameProject startProject endPrincipal investigatorInstitutionFunding
1.1.5.EITSA18017Research measure of IT Academy programme for 2018-2022: Software trustworthiness01.01.201831.08.2023Paweł Maria SobocińskiTallinn University of Technology , School of Information Technologies, Department of Software Science1 864 416,00 EUR