[an error occurred while processing this directive]
Luca Cardelli | Department of Computer Science
[an error occurred while processing this directive]
Home
About Us
People
Emeritus Faculty
Luca Cardelli
Luca Cardelli
Luca
Cardelli
Emeritus Professor
Themes:
Automated Verification
Programming Languages
See Also:
My home page
About Us
People
Faculty
Research
Students
Professional Services
Visiting Professors
Emeritus Faculty
Associate Members
Vacancies
Women in the department
Equality, diversity and inclusion
Support Us
Our History
Contact Us
[an error occurred while processing this directive]