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
Students
Antonia Lechner
Antonia Lechner
Antonia
Lechner
Doctoral Student
Student
,
Oriel College
Leaving date: 30th March 2017
Themes:
Automated Verification
Activities
Quantitative Analysis and Verification
Supervisors
Mehrnoosh Sadrzadeh
James Worrell
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
Back to Top
