![Vadim Zaliva](https://popl19.sigplan.org/getProfileImage/vadimzaliva/596893e3-f315-4824-8e14-c6f0bc9b45c5/small.jpg?1711588822000)
Registered user since Tue 19 Jan 2016
Name:Vadim Zaliva
Country:United States
Affiliation:Carnegie Mellon University, USA
Personal website: http://www.crocodile.org/
Research interests:Formal Methods, Functional Programming, Type Theory, Machine Learning
Contributions
POPL 2019-profile
View general profile
View general profile