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

Personal information link

Affiliation: IMAR

E-mail address: razvan.diaconescu@imar.ro