Dr Peter Lammich

(Former)

View graph of relations

Overview

I'm a lecturer in the Formal methods Group at the University of Manchester. My main research interest is the production of verified software by a top-down refinement process. For this, I'm using the theorem prover Isabelle/HOL, for which I have developed the Isabelle Refinement Framework and the Isabelle Collection Framework.

For a complete list of my publications, including my AFP entries, see DBLP

 

Related information

Publications

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Research output: Contribution to journalArticlepeer-review

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

View all (21)

Student Theses

View all (1)