Mircea Sebe

Registered user since Mon 6 Jan 2025

Name:Mircea Sebe
Country:United States
Affiliation:UIUC
Research interests:Formal Methods, Programming Languages, Proof Assistants

Contributions