Andrea Corradini

• Algebra and Coalgebra in Computer Science
• Recent Trends in Algebraic Development Techniques
• Graph Transformation