Fabio Gadducci

Fabio is currently Associate Professor of Informatics at the University of Pisa, Italy. He is an expert in graph rewriting and studied the semantics of different flavors of Petri nets for a long time. He is interested in specification and verification techniques for concurrent and distributed systems. He is also interested in encodings between visual (graph-like) and textual (calculi-like) formalisms, in order to foster technology transfer.

Role: Fabio is helping us generalizing the Petri nets used in the Statebox language.

Education: PhD Computer Science, University of Pisa

Expertise: Open networks, Petri nets, graph rewriting, bisimulation

Location: Pisa, Italy
[] website
[] dblp
[] arxiv