cv

General Information

Full Name Vladimir Gladshtein
Languages English, Russian

Education

  • 2022 - now
    PhD
    National University of Singapore, Singapore
    • Supervisor: Ilya Sergey
  • 2018 - 2022
    Undergraduate
    Saint-Petersburg State University, Russia
    • Supervisor: Evgenii Moiseenko

Experience

  • 2022
    Proof Engineer
    Pruvendo, Armenia
    • Verification of Smart Contracts
  • 2021
    Summer Intern
    Max Plank Institute for Software Systems, Germany
    • Supervisor: Viktor Vafeiadis
  • 2020 - 2022
    Junior Researcher
    JetBrains Research, Russia
    • Supervisor: Evgenii Moiseenko and Anton Podkopaev