Registered user since Thu 27 Feb 2025
Name:Debasmita Lohar
Country:Denmark
Affiliation:IT University of Copenhagen
Personal website: https://dlohar.github.io/
GitHub: https://github.com/dlohar
Research interests:Formal Methods
Contributions
PLDI 2026-profile
View general profile
View general profile