معرفی
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.
۰مقاله منتشرشده
