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
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
Admin & Support
Vacancies
Women at Oxford
History
Contact Us
Back to Top
