Registered user since Wed 7 Jul 2021
Name:Alin Stefanescu
Bio:
Professor
Country:Romania
Affiliation:University of Bucharest
Personal website: http://alin.stefanescu.eu
GitHub: https://github.com/alinstef
Research interests:security, formal methods, testing, industrial research
Contributions
FSE 2025-profile
View general profile
View general profile