Below is slightly outdated. For the latest developments visit our group introduction.

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: