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