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
Pascale Gourdeau
Pascale Gourdeau
Pascale
Gourdeau
Doctoral Student
Student
,
Trinity College
Themes:
Automated Verification
Projects
FUN2MODEL
Supervisors
Varun Kanade
Marta Kwiatkowska
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