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: An algebraic/coalgebraic approach to concurrency theory, including General theory of trac