Associate Professor.
Department of Computer and System Sciences (DIS),
University of Rome "La Sapienza".
- Contacts
- (address and email)
- Research
- (research interests, papers, organization activity, software)
- Didattica
- (laboratorio di programmazione, calcolatori elettronici, modelli di
calcolo, automated reasoning)