Filippo Bonchi

Location: LARGO BRUNO PONTECORVO, 3, 56127 PISA

Email: filippo.bonchi@unipi.it

Phone: 0502212111

Profile

Position: Professore Associato

Unit: Dipartimento di Informatica

Scientific-disciplinary sector: Informatica INFO-01/A

Dopo aver conseguito il Dottorato di Ricerca (Pisa, 2008), Filippo Bonchi é stato un post-doc ERCIM presso il CWI (Amsterdam) e l'École polytechnique (Parigi). Dal 2010 al 2017, ha lavorato presso l'École Normale Supérieure (Lione) come ricercatore CNRS. Nel Settembre 2017, é rientrato a Pisa come Professore Associato.
I suoi interessi di ricerca stanno nell'intersezione di Logica, Algebra e Informatica Teorica, in particolare coinduzione, coalgebra, diagrammi di stringhe e, più in generale, Teoria delle Categorie. I suoi contributi scientifici riguardano svariati argomenti, tra cui la teoria degli automi, i linguaggi di programmazione, l'Interpretazione astratta, gli algoritmi per model checking, le basi di dati e l'algebra relazionale e, più di recente, lo studio composizionale di sistemi dinamici (tipo Signal Flow Graphs, Petri nets, circuiti elettrici passivi e non).

Serve tipicamente come membro del comitato di esperti in conferenze di prima classe dell'Informatica Teorica ed è stato chair della conferenza su Algebra e Coalgebra in Informatica. Il suo articolo "Hacking Non-Determinism with Induction and Coinduction" é apparso come cover story su Communication of the ACM.

Teaching

Teaching activity

Teaching responsibility for modules/courses



Student consultation hours

Mode of office hours: Gli studenti sono pregati di inviare una mail al professore per fissare l'appuntamento.

Location: Teams: 728AA 20/21 - FONDAMENTI DELL'INFORMATICA - B [INF-L]

Time: Mercoledì alle 10h30

Research

Publications