Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Covid-19 Information
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
Admin & Support
Vacancies
Women at Oxford
History
Contact Us
Back to Top