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
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
Vacancies
Women at Oxford
Equality, diversity and inclusion
Support Us
History
Contact Us
Back to Top