Dr Peter Lammich


View graph of relations


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


Research output: Contribution to journalArticle

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Research output: Contribution to journalArticle

View all (16)