Browse/search for people

Dr Jeremy Morse

Dr Jeremy Morse

Dr Jeremy Morse

Senior Research Associate in Energy-Aware System Design

Merchant Venturers Building,
Woodland Road, Clifton BS8 1UB
(See a map)


My research focuses on the design and verification of software and systems, and in particular how formal methods can be made useful to industrial consumers. My PhD was on the topic of verifying temporal logic formula over real-world C software and evaluating techniques to limit state-space explosion of multi-threaded software. More recently I have studied design space exploration to improve non-functional requirements.

Much of my work has been on the development of 'ESBMC' (, a C software model checker based on the CBMC code base, with a variety of new features and improvements. The tool continues to perform well at the international software verification competition, and is currently used in Southampton to explore new techniques for concurrent software verification.

At Bristol I have worked on the ENTRA (Whole Systems Energy Transparency) and RIVERAS (Robust Integrated Verification of Autonomous Systems) projects, both of which have a verification aspect. For the former we studied the extent to which energy consumption in microcontrollers can feasibly be verified, while for the latter our focus has been on verifying performance and other non-functional requirements to aid system design decisions.



Department of Computer Science

Other sites

Recent publications

View complete publications list in the University of Bristol publications system

Edit this profile If you are Dr Jeremy Morse, you can edit this page. Login required.

PDF versionDownload PDF