Vera Stebletsova

Dr. Vera Stebletsova is a Lecturer in the Department of Computer Science at the Faculty of Science, Vrije Universiteit Amsterdam. She specializes in formal methods within computer science, with a focus on modal logic applications in AI. Her research involves completeness proofs, theorem proving, and multi-agent systems. She teaches courses including 'Applications of Modal Logic for AI' and 'Formal Logic in AI'.

Her recent work includes a 2024 publication on formalizing completeness proofs for coalition logic with common knowledge, presented at the International Conference on Interactive Theorem Proving (ITP 2024). No scientific awards are explicitly listed in the provided text. She has no listed ancillary activities.

Her research fingerprint highlights formalization (100%), completeness proofs (100%), and multi-agent systems (33%). Collaborations involve international peers in theorem proving and logic domains.