Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Admissions
Research
News & Events
About Us
(current)
Alumni
Our Students
Innovation
Home
About Us
People
Research
Luca Laurenti
Luca Laurenti
Luca
Laurenti
Research Associate
Researcher
Former Member
Student
,
Trinity College
Leaving date: 28th February 2021
Themes:
Automated Verification
Projects
FUN2MODEL
Supervisors
Luca Cardelli
Marta Kwiatkowska
About Us
People
Faculty
Research
Students
Professional Services
Visiting Professors
Emeritus Faculty
Vacancies
Women at Oxford
Equality, diversity and inclusion
Support Us
History
Contact Us
Back to Top