Maurizio Proietti is a Senior Researcher at the Istituto di Analisi dei Sistemi e Informatica “Antonio Ruberti” of the National Research Council (IASI-CNR) in Rome, Italy. His research interests are in the fields of logic programming and automatic methods for the transformation, synthesis, and verification of programs.
