Dirk Pattinson

• Coalgebraic Methods in Computer Science
• Recent trends in algebraic development techniques
• Automated Reasoning