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

C.Sc. in Mathematics and Physics  (1.1.5. Mathematical logic, algebra, number theory and discrete mathematics), 11.2022. St. Petersburg University. https://go.spbu.ru/22a040502

Research interests

  • Logic in Computer Science: definability and decidability

Selected publications

  • Starchak, M.R. 2023. On the Existential Arithmetics with Addition and Bitwise Minimum. In Proceedings of the 26th International Conference on Foundations of Software Science and Computation Structures. FoSSaCS 2023. Lecture Notes in Computer Science, vol 13992, 176–195. https://doi.org/10.1007/978-3-031-30829-1_9
  • Mikhail R. Starchak. 2021. Positive Existential Definability with Unit, Addition and Coprimeness. In Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation (ISSAC '21). Association for Computing Machinery, New York, NY, USA, 353–360. https://doi.org/10.1145/3452143.3465515
  • Starchak, M.R. A Proof of Bel’tyukov–Lipshitz Theorem by Quasi-Quantifier Elimination. II. The Main Reduction. Vestnik St.Petersb. Univ.Math. 54, 372–380 (2021). https://doi.org/10.1134/S106345412104018X

Contact

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

 GS logo