Registered user since Fri 14 Jun 2019
Name:Vladimir Zamdzhiev
Bio:
Researcher in LMF/Inria Saclay.
Country:France
Affiliation:Inria
Personal website: https://zamdzhiev.github.io/
GitHub: https://github.com/zamdzhiev
Research interests:(Quantum) Programming Languages, Type Systems, Mathematical/Denotational Semantics
Using general profile