Enrico Tronci Home Page

Contacts

Address
Enrico Tronci
Dipartimento di Informatica
Università di Roma "La Sapienza"
Via Salaria 113,
00198 Roma
Italy

Telephone
+39-06-49918361
Fax
+39-06-8541842
Email
tronci@di.uniroma1.it

Research Web Page

Model Checking Lab

Teaching Web Page

Sapienza Catalogo dei Corsi di Studio

Available Theses

Sapienza Catalogo dei Corsi di Studio

Recent Teaching & Research Projects

Our research group is regularly involved with many research projects sponsored by the European Community (EC), ESA (European Space Agency), Italian Ministry of University and Research (MUR), National Council of Research (CNR), National Body for Alternative Energies (ENEA), ICT Companies.

Here is a selected list of recent projects.