Skip to main content

University of Oxford Department of Computer Science

Search for

Home
Study with us
Research
News

Events
About Us (current)
Student Space
Partner with us

Home
About Us
People
Professional Services
Liz Gresham

Liz Gresham

Personal photo - Liz Gresham

Liz Gresham

Project Administrator

Leaving date: 30th May 2016

Themes:

Quantum
Automated Verification

Completed Projects:

CONNECT-IP
PRISMATIC
Predictable Software Systems
VERIWARE

Activities

Software Model Checking
PRISM
Quantitative Analysis and Verification
Probabilistic Verification for Systems Biology
Probabilistic Model Checking

About Us

People
Vacancies
Women at Oxford
Equality, diversity and inclusion
Support Us
Our History
Contact Us

Back to Top

Calendars
Internal
RSS Feeds
Sitemap
Privacy & Cookies
Accessibility Statement

© University of Oxford

/people/liz.gresham/index.html