I obtained my Ph.D. in Computer Engineering in 2001 from Sapienza University of Rome. I am currently Professor of Computer Science at Sapienza University of Rome and I’m interested in different performance and reliability aspects of software. I’ve worked in graph algorithm design and implementation, performance analysis of software systems, incremental computing, and recently symbolic execution and computer security problems. I am a glider aircraft pilot.