Stepan Kuznetsov

Stepan Kuznetsov is a Leading Scientific Researcher at the Steklov Mathematical Institute of the Russian Academy of Sciences and teaches at Lomonosov Moscow State University (Department of Mathematical Logic) and HSE University (Computer Science Department). His research focuses on substructural logic with applications to linguistics, infinitary logic, and circular proofs. He has delivered courses on

• Substructural Logics
• Probabilistic Logical Systems
• Coq-Practicum
• Discrete Mathematics

at institutions including Steklov Mathematical Institute and HSE University.

His recent publications explore algorithmic complexity, undecidability, and extensions of logical calculi. Key collaborators include M. Kanovich, A. Scedrov, and S. O. Speranski. He has presented at ESSLLI (2015, 2022) and the University of Pennsylvania (2017).