Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Study with us
Research
News
Events
About Us
(current)
Student Space
Partner with us
Home
About Us
People
Emeritus Faculty
Luca Cardelli
Luca Cardelli
Luca
Cardelli
Emeritus Professor
Wolfson Building
, Parks Road, Oxford OX1 3QD
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 at Oxford
Equality, diversity and inclusion
Support Us
Our History
Contact Us
Back to Top