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)
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
Professional Services
Visiting Professors
Emeritus Faculty
Vacancies
Women at Oxford
Equality, diversity and inclusion
Support Us
History
Contact Us
Back to Top