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