University of Bucharest

Partner looking for project
Institution / Department: 
Dept. of Computer Science
Country: 
Romania
Name: 
Alin Stefanescu
Position title: 
Associate Professor
Research areas of your institution: 

Formal methods, security, validation and verification, trustworthy 

Comment: 

Experience in formal modeling and verification of robotic or control systems

Topic: 
Explainable Machine Learning-based Artificial Intelligence