General coordinators

Amedeo Cesta Head of Research ISTC-CNR, Rome

e-mail web

Angelo Montanari Full Professor University of Udine

e-mail web

Area coordinators

Tools and Applications Alessandro Cimatti Head of Embedded Systems Unit Fondazione Bruno Kessler, Trento

e-mail web

Automated Planning Alfonso Gerevini Full Professor University of Brescia

e-mail web

Formal Methods Adriano Peron Full Professor University of Trieste

e-mail web

Discrete and Continuous Hybrid Systems Tiziano Villa Full Professor University of Verona

e-mail web

Members

Alessandro Abate Professor Oxford University

e-mail web

Alessandro Artale Associate Professor Free University of Bozen-Bolzano

e-mail web

Massimo Benerecetti Associate Professor University of Naples Federico II

e-mail web

Luca Benvenuti Associate Professor University of Rome La Sapienza

e-mail web

Luca Bortolussi Associate Professor University of Trieste

e-mail web

Marco Bozzano Senior Researcher Fondazione Bruno Kessler

e-mail web

Davide Bresolin Assistant Professor University of Padova

e-mail web

Andrea Brunello Researcher University of Udine

e-mail web

Francesca Cairoli Ph.D. student University of Trieste

e-mail web

Ginevra Carbone Ph.D. student University of Trieste

e-mail web

Amedeo Cesta Head of Research ISTC-CNR, Rome

e-mail web

Alessandro Cimatti Head of Embedded Systems Unit Fondazione Bruno Kessler, Trento

e-mail web

Riccardo De Benedictis Researcher ISTC-CNR, Rome

e-mail web

Dario Della Monica Researcher University of Udine

e-mail web

Giorgio Delzanno Full Professor University of Genoa

e-mail web

Agostino Dovier Full Professor University of Udine

e-mail web

Daniele Theseider Dupré Associate Professor University of East Piedmont

e-mail web

Marco Faella Associate Professor University of Naples Federico II

e-mail web

Luca Geatti Postdoc researcher University of Udine

e-mail web

Luca Geretti Assistant Professor University of Verona

e-mail web

Alfonso Gerevini Full Professor University of Brescia

e-mail web

Alessandro Gianola Postdoc researcher INESC-ID / Instituto Superior Técnico, Lisbon, Portugal

e-mail web

Nicola Gigante Researcher Free University of Bozen-Bolzano

e-mail web

Laura Giordano Associate Professor University of East Piedmont

e-mail web

Salvatore La Torre Associate Professor University of Salerno

e-mail web

Ivan Lanese Associate Professor University of Bologna

e-mail web

Federico Mari Assistant Professor University of Rome Foro Italico

e-mail web

Andrea Micheli Postdoc Researcher Fondazione Bruno Kessler

e-mail web

Fabio Mogavero Researcher University of Naples Federico II

e-mail web

Angelo Montanari Full Professor University of Udine

e-mail web

Laura Nenzi Assistant Professor University of Trieste

e-mail web

AndreA Orlandini Researcher ISTC-CNR, Rome

e-mail web

Giovanni Pagliarini Ph.D. student University of Ferrara

e-mail web

Gennaro Parlato Associate Professor University of Molise

e-mail web

Adriano Peron Full Professor University of Trieste

e-mail web

Carla Piazza Associate Professor University of Udine

e-mail web

Alberto Policriti Full Professor University of Udine

e-mail web

Gian Luca Pozzato Associate Professor University of Turin

e-mail web

Gabriele Puppis Assistant Professor University of Udine

e-mail web

Marco Roveri Senior Researcher Fondazione Bruno Kessler

e-mail web

Nicola Saccomanno Research Fellow University of Udine

e-mail web

Pietro Sala Researcher University of Verona

e-mail web

Enrico Scala Researcher University of Brescia

e-mail web

Guido Sciavicco Associate Professor University of Ferrara

e-mail web

Ionel Eduard Stan Ph.D. student University of Ferrara

e-mail

Stefano Tonetta Researcher Fondazione Bruno Kessler

e-mail web

Paolo Traverso Director of ICT Center Fondazione Bruno Kessler

e-mail web

Enrico Tronci Associate Professor University of Rome La Sapienza

e-mail web

Alessandro Umbrico Researcher ISTC-CNR, Rome

e-mail web

Tiziano Villa Full Professor University of Verona

e-mail web

Enea Zaffanella Associate Professor University of Parma

e-mail web

Matteo Zavatteri Researcher University of Padova

e-mail web