Firsov, Denis
ORCID
https://orcid.org/0000-0003-1267-7898
Researcher ID
https://www.webofscience.com/wos/author/rid/DUK-2978-2022
Google Scholar profile
https://scholar.google.com/citations?user=02bmr0YAAAAJ
Scopus ID
https://www.scopus.com/authid/detail.uri?authorId=56016511700
Kontakt
https://taltech.ee/kontaktid/tugevalt-tagatud-tarkvara-laboratoorium/denis-firsov
TalTech department
tarkvarateaduse instituut
Position
teadur
In TalTech
2019-
Career in TalTech
tarkvarateaduse instituut, teadur 01.02.2019-
TTÜ Küberneetika Instituut, nooremteadur, 01.12.2015–18.01.2017
TTÜ Küberneetika Instituut, insener, 01.06.2011–30.11.2015
Teenistuskäik mujal
IOG, formaalmeetodite vaneminsener 2024-
Guardtime AS, insener (0,80), 07.01.2019-30.10.2023
Iowa Ülikool, järeldoktor (1,00), 19.01.2017–04.12.2018
Education
Tallinna Tehnikaülikool, doktorantuur info- ja kommunikatsioonitehnoloogias, 2012–31.08.2016
Tallinna Tehnikaülikool, magistriõpingud informaatikas, 2010-2012
Eesti Infotehnoloogia Kolledž, rakenduskõrgharidusõpingud IT süsteemide arenduses, 2006-2010
Degree
PhD 2016
URL
https://www.etis.ee/CV/Denis_Firsov/est/#
https://ee.linkedin.com/in/denis-firsov-a991b6aa?original_referer=https%3A%2F%2Fwww.google.com%2F
https://firsov.ee/
https://ws.lib.ttu.ee/digibase/en/Publ/Search/Index?RegisterId=109368
https://ws.lib.ttu.ee/digibase/en/Publ/Search/Index?RegisterId=138448
Research Groups
Research group member
High-assurance software laboratory
.
Dependable IT solutions
,
Innovative businesses and future governance
.
Uustalu, Tarmo