About
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
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).
0Publications listed
Find Stepan Kuznetsov elsewhere
Related Searches
You Might Also Like
Gert SmolkaInria · Professor
Alexander RazborovGraz University of Technology · Professor- EEgor Dmitrievich KosovHSE University · Associate Professor
- VValeria Orlanovna KirovaHSE University · Research Fellow
Federico OlmedoMax Planck Institute for Software Systems · Assistant Professor- SShvedov Aleksey SergeevichHSE University · Professor