Vladimir Gladshtein

PhD student at National University of Singapore


School of Computing, National University of Singapore COM1, 13 Computing Drive, Singapore 117417

I am a second year PhD student at National University of Singapore, under a supervision of Ilya Sergey.

I am broadly interested in formal verification, programming languages, type theory, category theory and HoTT.

Important fact

In general, people tend to use Vlad as a shortened version of my name. However, that is incorrect. If you want to use accurate short forms for my name, they would be:

  • Vova (Most common)
  • Volodya (Most formal)
  • Mira (Most unusual)
  • Vovan (Most informal)