Maurizio Proietti
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.
beautifulminds marchio di Adiuvare S.r.l. Partita IVA 15662501004
Copyright © 2021. All Rights Reserved.
Copyright © 2021. All Rights Reserved.
