See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
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
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

Otsi projekti

  • {{item.Name}}
Asutus on projekti finantseerija   Asutus on projekti teostaja  
  • {{searchListItem.Name}}
Kõik   Tavaprojektid   Ülemprojektid   Alamprojektid  
Kõik
Käimasolevad
Lõppenud
Algus
Hajus
Täpne
  • Leitud 1 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusRahastamine
1.1.5.EITSA18017IT Akadeemia programmi IKT teaduse toetusmeede perioodiks 2018-2022: Tarkvara usaldusväärsus01.01.201831.08.2023Paweł Maria SobocińskiTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut1 864 416,00 EUR