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