Stepan G. Kuznetsov

PhD student
Formal Methods in Software Verification

Huawei Dresden Research Center & TU-Braunschweig
Dresden, Saxony, Germany

E-mail: mail "at" stepan-k.ru

My CV

Research Interests:
Proof Theory, Concurrency, Formal Verification, Formal Methods in Language Processing

Education:
M.Sc. in Pure and Applied Logic, 2024
Univerity of Barcelona & The Technical University of Catalonia, Barcelona, Catalunya, Spain
Advisors: Peter R. Sutton, Joost J. Joosten
: Lexical Semantics in Moder Type Theory: The challenge of selectional coercion

BSc. in Mathematics, 2022
Higher School Of Economics, Moscow, Russia
Advisor: Stepan L. Kuznetsov
Thesis: Algorithmic Complexity Questions for the CatLog Parser

Publications:
Decidable Fragments of Calculi Used in CatLog
Kanovich M.I., Kuznetsov S.G., Kuznetsov S.L., Scedrov A. (2022)
In: Loukanova R. (eds) Natural Language Processing in Artificial Intelligence. NLPinAI 2021. Studies in Computational Intelligence, vol 999. Springer, Cham. (doi.org)

Talks:
“Some algebraic semantics for superintuitionistic first-order logics”
Conference "Semantical and Computational Aspects of Non-Classical Logics", Steklov Institute of Mathematics, Moscow, Russia, 2023
Decidable fragment of Calculi used in CatLog3
“Modern problems of Mathematical logic” Research seminar, Higher School of Economics, May 2021
Algebraic Sheaf Models of First-Order Intuitionistic Logics
“Modern problems of Mathematical logic” Research seminar, Higher School of Economics, January 2021

Bachelor Thesis and Term Papers:
Algorithmic Complexity Questions for the CatLog Parser
Advisor: Stepan L. Kuznetsov, 2021-2022. Grade: 10/10
An Algorithmically Decidable Fragment of the Calculus for the CatLog3 System
Advisor: Stepan L. Kuznetsov, 2020-2021. Grade: 10/10
Algebraic Models of Predicate Logics
Advisor: Valentin Shehtman, 2019-2020. Grade: 10/10

Teaching Experience:
Teacher on courses “Alghoritms and data sturctures”, “Cybersecurity”
GoTo Camp, Summer 2020, 2021
GoTo Camp is a computer science and coding bootcamp for high school students (website in Russian)

Research Experience:
Member of Research Group “Proofs and models”, 2019-2022, Advisor: Lev Beklemishev

Conferences and Summer Schools:
"Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
Hosted by Steklov Institute of Mathematics, Moscow, Russia 2023
Summer School “São Paulo School of Advanced Science on Contemporary Logic, Rationality, and Information”
Hosted by UNICAMP Universidade Estadual de Campinas, Campinas, Brazil, February 2022
Workshop “Formal methods of Software design and verification”
Hosted by Moscow State University at Sirius, Russia, November 2021
Summer School “The NY-St.Petersburg Institute of Linguistics, Cognition and Culture” (NYI)
Hosted online by Stony Brook University (NY) and The Herzen State Pedagogical University, July 2021
GNUNet Internet Decentralisation Workshop
Berlin, Germany, January 2018

Grants and Awards:
Higher School of Economics Grant for Research Groups.
Research Group “Proofs and Models”, 2019–2022

Languages:
Russian: native
English: fluent
Spanish: intermediate