Registered user since Mon 6 Jan 2025
Name:Mircea Sebe
Country:United States
Affiliation:UIUC
Personal website: https://github.com/MirceaS
GitHub: https://github.com/MirceaS
Research interests:Formal Methods, Programming Languages, Proof Assistants
Contributions
Using general profile