Registered user since Sun 20 Sep 2020
Name:Ștefan Ciobâcă
Country:Romania
Affiliation:Alexandru Ioan Cuza University of Iasi
Personal website: http://profs.info.uaic.ro/stefan.ciobaca
X (Twitter): https://x.com/ciobaca
GitHub: https://github.com/ciobaca
Research interests:Formal Verification, Programming Languages, Dafny, Rewriting, Logic
Contributions
Using general profile