curriculum vitae

research interests

contains also full publication list

cv.pdf
File Size:	162 kb
File Type:	pdf

Download File

---

links to research profiles

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

• model theory and category theory as such and with applications to computing
• experimental mathematics 
• formal specification and verification