Старчак Михаил Романович / Mikhail R. Starchak 
Assistant Professor

C.Sc. in Mathematics and Physics  (1.1.5. Mathematical logic, algebra, number theory and discrete mathematics)
Quasi-Quantifier Elimination Algorithms and Definability Problems in Arithmetics with Divisibility. St. Petersburg University. 11.2022.

Selected publications

• Dmitry Chistikov, Alessio Mansutti, and Mikhail R. Starchak. Integer Linear-Exponential Programming in NP by Quantifier Elimination. ICALP 2024. 
• Starchak, M.R. On the Existential Arithmetics with Addition and Bitwise Minimum. FoSSaCS 2023.
• Mikhail R. Starchak. Positive Existential Definability with Unit, Addition and Coprimeness. ISSAC 2021.
• Starchak, M.R. A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. II. The Main Reduction. Vestnik St.Petersb. Univ.Math. (2021).

Program committee member

• 11th International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA), 2025
• 19th International Conference on Reachability Problems (RP), 2025

Invited presentations

• Workshop on Recent Developments on Arithmetic Theories and Applications, 2025

Funding

• Principal Investigator, Russian Science Foundation. Existential Arithmetics with Addition and Regular Predicates, 07.2023 - 06.2025.

Contact

Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.