Adolfo Piperno

Adolfo Piperno is an Associate Professor in the Department of Computer Science at Sapienza University of Rome. He has been serving as Assistant Professor since 1991 (K05B) and was promoted to Associate Professor in 1998 (INF/01). His teaching responsibilities for Academic Year 2024-25 include Models of Computation (Master Degree), Mathematical Methods for Computer Science, and General IT/C programming courses.

Professor Piperno's research focuses on formal methods in computer science, with particular expertise in functional programming, lambda calculus, type theory, and graph algorithms. His current research centers on practical aspects of graph isomorphism, which aligns with his involvement in the development of nauty and Traces - programs for computing automorphism groups of graphs and producing canonical labels.

His publication record demonstrates expertise across theoretical computer science, particularly in areas related to formal verification and graph theory. His work shows a consistent focus on foundational aspects of computation and practical algorithmic approaches to complex problems in graph theory.

Professor Piperno holds a Degree in Mathematics (1986) and a PhD in Computer Engineering (1991, 3rd cycle). His office is located in the Department of Computer Science, Viale Regina Elena, 295 (Building E), 3rd floor, room 306, with office hours available by appointment.