Denis Firsov
https://etis.ee/CV/Denis_Firsov/estTeenistuskäik
Töökohad ja ametid
01.02.2019–...
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut, Teadur (0,20)
07.01.2019–...
Guardtime AS, insener (0,80)
19.01.2017–04.12.2018
Iowa Ülikool, Järeldoktor (1,00)
01.12.2015–18.01.2017
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Nooremteadur (1,00)
01.06.2011–30.11.2015
Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut, insener (1,00)
Haridustee
2012–31.08.2016
Tallinna Tehnikaülikool, doktorantuur info- ja kommunikatsioonitehnoloogias
2010–2012
Tallinna Tehnikaülikool, magistriõpingud informaatikas
2006–2010
Eesti Infotehnoloogia Kolledž, rakenduskõrgharidusõpingud IT süsteemide arenduses
Kvalifikatsioon
Teaduskraadid
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.6. Arvutiteadused; CERCS KLASSIFIKAATOR: P170 Arvutiteadus, arvutusmeetodid, süsteemid, juhtimine (automaatjuhtimisteooria)
Klass
Aasta
Publikatsioon
3.1.
2020
3.1.
2019
1.2.
2018
3.1.
2018
3.1.
2018
2.3.
2016
3.1.
2016
3.1.
2016
5.2.
2016
3.1.
2015
3.1.
2015
1.1.
2014
3.1.
2013
2.3.
2012
29.10.2020
Denis Firsov
https://etis.ee/CV/Denis_Firsov/engCareer
Institutions and positions
01.02.2019–...
Tallinn University of Technology , School of Information Technologies, Department of Software Science, Researcher (0,20)
07.01.2019–...
Guardtime AS, engineer (0,80)
19.01.2017–04.12.2018
The University of Iowa, Post-Doc (1,00)
01.12.2015–18.01.2017
Tallinn University of Technology , Institute of Cybernetics at TUT, Junior Researcher (1,00)
01.06.2011–30.11.2015
Tallinn University of Technology , Institute of Cybernetics at TUT, engineer (1,00)
Education
2012–31.08.2016
Tallinn University of Technology, PhD studies in information and communication technology
2010–2012
Tallinn University of Technology, master's studies in informatics
2006–2010
Estonian Information Technology College, professional higher education studies in IT systems development
Qualifications
Academic degrees
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.6. Computer Sciences; CERCS CLASSIFICATION: P170 Computer science, numerical analysis, systems, control
Category
Year
Publication
3.1.
2020
3.1.
2019
1.2.
2018
3.1.
2018
3.1.
2018
2.3.
2016
3.1.
2016
3.1.
2016
5.2.
2016
3.1.
2015
3.1.
2015
1.1.
2014
3.1.
2013
2.3.
2012
29.10.2020
Otsi projekti
Asutus on projekti finantseerija
Asutus on projekti teostaja
Kõik
Tavaprojektid
Ülemprojektid
Alamprojektid
Uus Frascati (2015)
Uus ja vana Frascati (otsing uue järgi väljastab ka seotud vanad)
Kõik
Käimasolevad
Lõppenud
Algus
Hajus
Täpne
- Leitud 7 kirjet
Programm | Liik | Number | Nimi | Projekti algus | Projekti lõpp | Vastutav täitja | Asutus | Finantseerijapoolne rahastamine | |
---|---|---|---|---|---|---|---|---|---|
TK | EXCS | Arvutiteaduse tippkeskus - EXCS | 07.07.2008 | 31.08.2015 | Tarmo Uustalu | Tallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut | 4 244 372,58 EUR | ||
MUU | IKT29 (3.2.1201.13-0029) | Coinduction for semantics, analysis and verification of communicating and concurrent reactive software | 01.03.2013 | 30.11.2015 | Tarmo Uustalu | Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut | 526 194,00 EUR | ||
1.1.3. | EITSA18017 | IT Akadeemia programmi IKT teaduse toetusmeede perioodiks 2018-2022: Tarkvara usaldusväärsus | 01.01.2018 | 31.12.2022 | Paweł Maria Sobociński | Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut | 1 864 416,00 EUR | ||
TK | Alamprojekt | TAR16013 (EXCITE) (TK148) | IT Tippkeskus EXCITE | 01.09.2016 | 01.03.2023 | Maarja Kruusmaa | Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Biorobootika keskus; Cybernetica AS | 2 121 014,65 EUR | |
PUT | PUT763 | Korrektne ja efektiivne funktsionaalne reaktiivne programmeerimine | 01.01.2015 | 31.12.2016 | Wolfgang Jeltsch | Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut | 100 560,00 EUR | ||
ETF | ETF9475 | Matemaatilised struktuurid programmeerimiskeeltes | 01.01.2012 | 31.03.2016 | Tarmo Uustalu | Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut | 33 984,00 EUR | ||
SF | SF0140007s12 | Usaldusväärsed tarkvara- ja inimkeeletehnoloogiad | 01.01.2012 | 31.12.2014 | Tarmo Uustalu | Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut | 514 620,00 EUR |