Muse TECHNOLOGIES
  • Home
  • ACADEMIC BIO
  • News
  • Projects
  • Contact

Dr. Habil. Răzvan Diaconescu

curriculum vitae

research interests

cv.pdf
File Size: 174 kb
File Type: pdf
Download File

contains also full publication list

links to research profiles


(where lists of representative publications can be found, including citation scores)
​
Research Gate profile
Google Scholar profile
MathSciNet profile
Scopus profile
​DBLP profile

  • model theory and category theory as such and with applications to computing
  • experimental mathematics 
  • formal specification and verification
Powered by Create your own unique website with customizable templates.
  • Home
  • ACADEMIC BIO
  • News
  • Projects
  • Contact