Denis Firsov

I am a junior researcher at the Institute of Cybernetics at Tallinn University of Technology.

Contact

Email:denis at cs ioc ee
Phone (office):+372 620 4198
Phone (mobile):+372 58 58 78 21
Address:Akadeemia tee 21, 12618, Tallinn, Estonia

Research

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

Papers

Conferences, talks, schools

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/15 The 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


Last update: 07/09/16