Department of Computer Science
University of Pisa
Italy Research topics: Algebraic and Coalgebraic Specification.
Coinductive proofs and up-to techniques.
Checking Algorithms.
Concurrency Theory.
Logic and Constraint Programming.
(updated at 2015-07-02)
http://perso.ens-lyon.fr/filippo.bonchi/