Skip to main content
×
We use cookies on this website. If you continue to access our website, we'll assume that you consent to receiving cookies in accordance with our
Privacy Policy
.
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
Associate Member
Augusto B. Corrêa
People
Faculty
Research
Students
Professional Services
Visiting Professors
Emeritus Faculty
Associate Members
Augusto B. Corrêa
Augusto B.
Corrêa
Associate Member
Junior Research Fellow
,
Christ Church College
Themes:
Artificial Intelligence and Machine Learning
Automated Verification
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
