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
Research
Philipp Ruemmer
Philipp Ruemmer
Philipp
Ruemmer
Research Assistant
Former Member
Themes:
Automated Verification
Quantum
Completed Projects:
CESAR
See also
Personal Webpage
Activities
Software Engineering
Software Model Checking
Model Checking
About Us
People
Faculty
Research
Students
Professional Services
Visiting Professors
Emeritus Faculty
Associate Members
Vacancies
Women at Oxford
Equality, diversity and inclusion
Support Us
Our History
Contact Us
Back to Top