Paolo Liberatore

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)
Last modified: Tuesday, 15-Jul-2014 13:53:06 CEST