Andrea Corradini

Andrea Corradini

Professor of Computer Science

Computer Science Department, University of Pisa, Italy

Interests
  • Algebraic and Categorical Semantics of Programming Languages
  • Concurrency
  • Graph Grammars
  • Term Graph Rewriting
  • Term Rewriting
  • Petri nets
  • Process Mining
  • Adaptive Systems