conf.researchr.org / Debasmita Lohar
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