Talks

• Recipes with Rapier: Working with Bound Variables Without Unnecessary Cuts [Russian] «Рецепты с рапирой: работаем со связанными переменными без лишних порезов» JointRefal — META program summer internship seminar July 1, 2025
• Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract Syntax WITS 2025 — Workshop on Implementation Techniques for Semantics January 25, 2025
• Towards Generic Higher-Order Unification Implementations in Haskell WITS 2025 — Workshop on Implementation Techniques for Semantics January 25, 2025
• Free Foil: Generating Efficient and Scope-Safe Abstract Syntax ICCQ 2024 — 4th International Conference on Code Quality April 22, 2024
• Free Monads, Intrinsic Scoping, and Higher-Order Preunification TFP 2024 — Trends in Functional Programming January 10, 2024
• Teaching Type Systems Implementation with Stella TFPiE 2024 — 13th Workshop on Trends in Functional Programming in Education January 9, 2024
• Rzk demo and tutorials HoTT seminar, Bauman Moscow State Technical University November 20, 2023
• Rzk proof assistant and simplicial HoTT formalization HoTTEST — Homotopy Type Theory Electronic Seminar Talks October 5, 2023
• Rzk and formalising synthetic ∞-category theory Interactions of Proof Assistants and Mathematics (ITP School) September 18, 2023
• Deriving Higher-Order Unification in Haskell WITS 2023 — Workshop on Implementation Techniques for Semantics, co-located with IFL 2023 August 28, 2023
• Experimental Prover for Tope Logic SCAN 2023 — Workshop on Semantical and Computational Aspects of Non-Classical Logics June 16, 2023
• Rzk Proof Assistant and Simplicial HoTT Formalisation [Russian] STEP — russian seminar on Software Engineering, Theory and Experimental Programming May 24, 2023
• Propositions as Types [Russian] «Высказывания и Типы» Department of Algorithmic Languages, Lomonosov Moscow State University May 1, 2016
• An approach to modular multi-agent system design [Russian] «Подход к проектированию модульных многоагентных систем» Lomonosov readings 2016 April 18, 2016

Software Engineering Talks

• Constructing a DSL for composable reports in Haskell LambdaConf 2019 June 8, 2019
• Augmenting Reality in Haskell LambdaConf 2019 June 7, 2019
• Building a Telegram Bot in Haskell LambdaConf 2018 June 6, 2018
• Functional Virtual Reality: WebVR + Haskell f(by) 2017 December 16, 2017
• Building a Telegram Bot in Haskell [English and Russian] f(by) 2017 December 16, 2017
• Functional Virtual Reality: WebVR + Haskell [Russian] FPConf 2017 December 1, 2017
• Multiplayer Game from Scratch Haskell eXchange 2017 October 12, 2017
• Types write tests [Russian] «Типы пишут тесты» FPConf 2016 December 10, 2016
• Real World Servant: GetShopTV experience report Haskell eXchange 2016 October 6, 2016
• Simple MMO games in Haskell [Russian] «Простые MMO игры на Haskell» CoLaboratory: ruHaskell 2016 August 18, 2016