Răzvan Diaconescu
Domain: Informatics
Academic and scientific profile: Model theory and computer science
Research areas and directions:
- Axiomatic model theory and category theory as such
- Applications in computer science, in particular to specification theory and formal verification
- Experimental mathematics
Affiliation:
E-mail address: razvan.diaconescu@imar.ro