Muse TECHNOLOGIES
  • Home
  • ACADEMIC BIO
  • Projects
  • Contact
  • The book "Institution-independent Model Theory"

Dr. Habil. Răzvan Diaconescu

curriculum vitae

research interests

contains also full publication list
cv.pdf
File Size: 154 kb
File Type: pdf
Download File

links to research profiles

where lists of representative publications can be found, including citation scores
Google Scholar
scholarGPS
Scopus
zbMath

MathSciNet
​DBLP profile
Research Gate
  • model theory and category theory as such and with applications to computing
  • symbolic computational modelling
  • experimental mathematics 
  • formal specification and verification
Powered by Create your own unique website with customizable templates.
  • Home
  • ACADEMIC BIO
  • Projects
  • Contact
  • The book "Institution-independent Model Theory"