Dr Peter Lammich

Lecturer

Affiliations:
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: Contribution to journalArticle

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

Research output: Contribution to journalArticle

View all (16)