CV
General Information
-
Full Name: Vladimir Gladshtein
-
Languages: English, Russian
Education
PhD — National University of Singapore, Singapore (2022 – present)
Supervisor: Ilya Sergey
Undergraduate — Saint-Petersburg State University, Russia (2018 – 2022)
Supervisor: Evgenii Moiseenko
Experience
Research Engineer — LeanFRO, Remote (2026)
Building Metatheory foundations and implementing scalable verification frameworks for monadic Lean code.
Applied Scientist Intern — Amazon Web Services, UK (2025)
Developing the formal semantics and verification of new intermediate verification language B3.
Proof Engineer — Pruvendo, Armenia (2022)
Verification of Smart Contracts
Summer Intern — Max Planck Institute for Software Systems, Germany (2021)
Supervisor: Viktor Vafeiadis
Junior Researcher — JetBrains Research, Russia (2020 – 2022)
Supervisor: Evgenii Moiseenko and Anton Podkopaev