Vladimir Gladshtein
PhD student at National University of Singapore
(λx,vgladshtxcomp.nus.edu.sg)@
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)