About
Peter Lammich is affiliated with The University of Manchester and actively contributes to academic programs in computer science. He serves as a Program Committee (PC) Member for the CPP (Certified Programs and Proofs) track at POPL 2024.
Research Interests
His research focuses on formal verification, programming languages, and data structures. Key areas include:
- Formal verification of algorithms and software systems
- Programming language theory and applications
- Verification of imperative data structures
Contributions
Notable contributions include verified interpreters, SAT solvers, and fuzzing tools. His work emphasizes correctness and reliability in software development.
0Publications listed
Find Peter Lammich elsewhere
Related Searches
You Might Also Like
Magnus MyreenUniversity of Cambridge · Researcher
Matthieu SozeauIMDEA Software Institute · Researcher
Tej ChajedMax Planck Institute for Security and Privacy · Assistant Professor
Sylvain BoulméGrenoble Alps University · Associate Professor- ȘȘtefan CiobacaInria · Researcher
- AAleks NanevskiIMDEA Software Institute · Research Professor