معرفی
Ilya Shapirovskiy is an Assistant Professor in the Department of Mathematical Sciences at New Mexico State University's College of Arts & Sciences. His academic position is listed as Tenure Track Faculty within the university's mathematics department structure.
Shapirovskiy's research focuses on advanced topics in mathematical logic, particularly modal logic and its applications. His work spans Kripke frame theory, decidability problems, local tabularity conditions, and connections between modal logic and graph theory. His publications demonstrate expertise in both theoretical foundations and computational aspects of logic systems.
Analysis of his recent publications (2016-2025) reveals a consistent research trajectory centered on frame constructions, decidability conditions, and completeness results for various modal logics. His work frequently addresses the finite model property, local tabularity criteria, and relationships between logical systems and mathematical structures like well-orders and graph colorings. The publications appear in leading logic venues including Advances in Modal Logic, Journal of Symbolic Logic, and Studia Logica.
Shapirovskiy maintains active scholarly engagement through presentations at major logic conferences including the Association for Symbolic Logic Annual Meeting, Logic Colloquium, and Advances in Modal Logic workshops. His recent talks address topics such as expressibility in distance logics, decidability of modal logics of non-k-colorable graphs, and locally finite polymodal logics.
