VMCAI 2025
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
co-located with POPL 2025
POPL 2025 (series) / VMCAI 2025 (series) / Nikolai Kudasov
Nikolai Kudasov

Registered user since Thu 28 Apr 2016

Name:Nikolai Kudasov
Country:Russia
Affiliation:Innopolis University
Personal website: https://github.com/fizruk/
X (Twitter): https://x.com/crazy_fizruk
GitHub: https://github.com/fizruk
Research interests:Type Theory, Functional Programming

Contributions

Show activities from other conferences

POPL 2025-profile
View general profile