Skip to main content

Sara Adams

Personal photo - Sara Adams

Sara Elisabeth Adams

Doctoral Student

Leaving date: 25th January 2012

Themes:

Completed Projects:

See Also:

Biography

Sara Adams is a research student in Computer Science at Oxford University, and a member of Exeter College. She holds a M.Sc. in Mathematics and the Foundations of Computer Science from Oxford University and is currently persuing her D.Phil. on Abstraction Discovery and Refinement for Model Checking by Symbolic Trajectory Evaluation.

Selected Publications

View AllManage publications

Completed Projects

Supervisor