Denis Firsov

Denis Firsov

For my PhD, I studied under the supervision of Tarmo Uustalu at the Institute of Cybernetics of the Tallinn University of Technology (TUT).

After that, I did my postdoctoral research with Aaron Stump at the Computational Logic Center of the University of Iowa.

Currently, I am holding a researcher position at the Department of Software Science and the research engineer position at the R&D department of GuardTime.


My Curriculum Vitae (last updated February 2019).

Contact

Email:denis.firsov at taltech ee
Office:CYB-406
Address:Akadeemia tee 21B, 12618, Tallinn, Estonia

Research

I am interested in algorithms, formally certified software, type theory, semantics of programming languages, and cryptography.

Papers

Events

17/01/22—19/01/22The 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, Pennsylvania, USA.
Talk: Reflection, Rewinding, and Coin-Toss in EasyCrypt. slides
04/11/21—06/11/21 32nd Nordic Workshop on Programming Theory, NWPT 2021, Hybrid Conference.
Talk by Ekaterina Zhuchko: Formal Analysis of Comparison-Based Non-Malleability for Commitments. extended abstract, slides
09/09/21—11/09/21 Logic and Semantics Group Outing Days.
Talk: Probabilistic Reflection in EasyCrypt.
21/06/21—24/06/21 34th IEEE Computer Security Foundations Symposium, Virtual Conference.
Talk: Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping.
10/06/21Computer Science Theory Seminar at TUT, Tallinn, Estonia.
Talk: Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping.
23/02/19—24/02/19 EUTypes meeting, Krakow, Poland.
Talk: Efficient Mendler-Style Lambda-Encodings in Cedille.
07/02/19—09/02/19 DLT Notary Workshop, Luxembourg City, Luxembourg.
23/09/18—29/09/18 23rd ACM SIGPLAN International Conference on Functional Programming, St. Louis, Missouri, United States.
06/07/18—14/07/18 9th International Conference on Interactive Theorem Proving, Oxford, UK.
Talk: Efficient Mendler-Style Lambda-Encodings in Cedille.
5/07/18Theory Lunch at TUT Software Lab, Tallinn, Estonia.
Talk: Generic Zero-Cost Reuse for Dependent Types.
19/02/18—24/02/18Visiting the Reykjavik University, Reykjavik, Iceland.
Talk: Generic Derivation of Induction for Impredicative Encodings in Cedille.
07/01/18—13/01/18The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, USA.
Talk: Generic Derivation of Induction for Impredicative Encodings in Cedille.
22/09/16—23/09/16XX Brazilian Symposium on Programming Languages, Maringá, Brazil.
Talk: Purely functional incremental computing.
21/08/16—25/08/1615th Estonian Summer School on Computer and Systems Science, Nelijärve, Estonia.
Talk: Purely functional incremental computing.
26/06/16—02/07/16Second International Summer School on Behavioural Types, Limassol, Cyprus.
01/04/16—09/04/16Sixth Workshop on Mathematically Structured Functional Programming (+ ETAPS), Eindhoven, Holland.
Talk: Variations on Noetherianness.
28/02/16—04/03/1621st Estonian Winter School in Computer Science, Palmse, Estonia.
29/01/16—31/01/16Theory Days at Käo, Käo, Estonia.
Talk: Noetherian sets.
13/11/15—15/11/15Estonian-Finnish logic meeting, Rakvere, Estonia.
Talk: Dependently typed programming with finite sets.
21/10/15—23/10/1527th Nordic Workshop on Programming Theory, Reykjavik, Iceland.
Talk: Acyclic attribute evaluation in dependently typed setting, extended abstract
02/10/15—04/10/15Theory Days at Jõeküla, Jõeküla, Estonia.
18/09/15—20/09/15Coinduction project working meeting, Sääritsa, Estonia.
Talk: Incremental Stable Sorting in Haskell.
30/08/15—05/09/1511th ACM SIGPLAN Workshop on Generic Programming (+ ICFP 2015), Vancouver, Canada.
Talk: Dependently typed programming with finite sets.
13/07/15—22/07/15Understanding Complexity and concurrency through topology of data, Camerino, Italy.
06/07/15—10/07/15Summer School on Generic and Effectful Programming, Oxford, UK.
01/03/15—06/03/15 20th Estonian Winter School in Computer Science, Palmse, Estonia.
06/02/15—08/02/15Theory Days, Rogosi, Estonia.
Talk: Functional incremental computing.
13/01/15—14/01/15The 4th ACM-SIGPLAN Conference on Certified Programs and Proofs, Mumbai, India.
Talk: Certified normalization of context-free grammars.
05/12/14—06/12/148th Annual Conference of the National Doctoral School in Information and Communication Technologies, Rakvere, Estonia.
Talk: Functional incremental computing.
10/11/14—11/11/14Coinduction project working meeting, Pillapalu, Estonia.
02/10/14—05/10/14Joint Estonian-Latvian Theory Days at Ratnieki, Ratnieki, Latvia.
21/09/14—23/09/14Coinduction Meeting, Kata, Estonia.
16/05/14—18/05/14Theory Days, Narva-Jõesuu, Estonia.
20/04/14—27/04/14Midlands Graduate School, Nottingham, UK.
02/03/14—07/03/1419th Estonian Winter School in Computer Science, Palmse, Estonia.
25/10/13—27/10/13Theory Days, Saka, Estonia.
Talk: Formalizing attribute grammars and circularity checking.
17/10/13—18/10/13Rich Model Toolkit—Final COST Action Meeting, Madrid, Spain.
Talk: Certified attribute grammar validation.
08/07/13—20/07/13Domain specific languages summer school 2013, Cluj-Napoca, Romania.
08/04/13—12/04/13Midlands Graduate School 2013, Leicester, England.
03/03/13—08/03/1318th Estonian Winter School in Computer Science, Palmse, Estonia.
01/02/13—03/02/13Theory Days, Otepää, Estonia.
Talk: Certified normalization of context-free grammars.
20/01/13—21/01/13Workshop on Synthesis, Verification and Analysis of Rich Models, Rome, Italy.
Talk: Certified normalization of context-free grammars and CYK parsing.
31/10/12—02/11/1224th Nordic Workshop on Programming Theory, Bergen, Norway.
Talk: Certified CYK parsing of context-free languages.
03/10/12—09/10/12The XVI edition of the Agda Implementors’ Meeting: Theory and implementation, Copenhagen, Denmark.
27/09/12—30/09/12Joint Estonian-Latvian Theory Days at Medzābaki, Lilaste, Latvia.
Talk: Certified parsing of contex-free grammars.
19/08/12—23/07/1211th Estonian Summer School on Computer Science, Jäneda, Estonia.
16/07/12—28/07/12Oregon Programming Languages Summer School, Oregon, USA.
26/02/12—02/03/1217th Estonian Winter School in Computer Science, Palmse, Estonia.
Talk: Certified parsing of regular languages.
27/01/12—29/01/12Theory Days, Kubija, Estonia.
Talk: Certified parsing.
07/10/11—09/10/11Theory Days, Tõrve, Estonia.

Teaching at the Estonian Information Technology College


Last update: August 2022.

Valid HTML 4.01 Transitional