Trace theory is concerned with assigning transition systems a semantics in trace monoids. Informally, trace monoids are word monoids generated from an independence relation, analogous to parallelism in concurrency. Generic trace theory seeks to extends trace theory to arbitrary transition systems, that formally are Set-based coalgebras.

I am a member of the following societies.

• American Mathematical Society (AMS)
• Association for Symbolic Logic (ASL)
• De Nederlandse Vereniging voor Logica en Wijsbegehrte der Exacte Wetenschappen (VvL)
• European Association for Theoretical Computer Science (EATCS)

研究グループ

• Alexander Kurz先生
• Daniela Petrisanさん
• 鈴木 智之さん
• Tadeusz Litakさん

共作者達

• Anni-Yasmin Turhan先生
• Yde Venema先生

同役達

• Bart Jacobs先生
• Bartek Klinさん
• Chris Kapulkinさん
• Clemens Kupkeさん
• 蓮尾イチロさん
• Nick Bezhanishviliさん
• Vincenzo Cianciaさん

• 圏論
• Coalgebra and Coalgebraic (Modal) Logic
• Generic Trace Theory
• Coalgebraic Automata Theory
• 様相論理学と直観論理
• グラフ理論
• 場の量子論
• 型理論
• Nominal Calculi