Skip to main content

University of Oxford Department of Computer Science

Search for

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

Personal photo - Luca Cardelli

Luca Cardelli

Emeritus Professor

Themes:

Automated Verification
Programming Languages

See Also:

My home page

About Us

People
Vacancies
Women in the department
Equality, diversity and inclusion
Support Us
Our History
Contact Us

Back to Top

Calendars
Internal
RSS Feeds
Sitemap
Privacy & Cookies
Accessibility Statement

© University of Oxford

/people/luca.cardelli/index.html