Alberto Pettorossi

Alberto Pettorossi is a Professor of Theoretical Computer Science at the Department of Civil Engineering and Computer Engineering, University of Rome Tor Vergata. He is affiliated with the MAP Research Center on Advanced Programming Methodologies and occasionally works from the Istituto di Analisi dei Sistemi ed Informatica "A. Ruberti" under the Italian National Research Council (CNR). His research focuses on theoretical computer science, particularly in logic-based program synthesis, transformation, and computational logic.

He has participated in numerous international conferences and workshops, including IJCRS (International Joint Conference on Rough Sets), LOPSTR (Logic-based Program Synthesis and Transformation), and CILC (Italian Conference on Computational Logic), from 2007 to 2024. These events highlight his contributions to program transformation, logic programming, and rough set theory.

Contact details include an office at Room D1-15, Via del Politecnico 1, 00133 Rome, Italy, and a secondary address at CNR's Istituto di Analisi dei Sistemi ed Informatica "A. Ruberti" in Rome.