Proudly running the ERATO MMSD project. Visit its introduction.

(Old Version, as of 2014?)

Group introduction.

(Old Version, as of 2012) Mathematical Structures in Computing and Computer Systems

My research activities aim at pushing forward the use of abstract mathematics (esp. the language of category theory) in computer science (esp. system/program verification), where mathematical logic also plays an important role. Specific topics include:

I believe in the advantages of our mathematical approach: