Peter Chitty

Peter Chitty is a British computer scientist and academic. He is known for his work in the field of formal methods, particularly the development and application of techniques for verifying the correctness of software and hardware systems. His research interests also include concurrency, distributed systems, and security.

Chitty has held academic positions at various universities. He has published extensively in peer-reviewed journals and conference proceedings, contributing significantly to the theoretical foundations and practical applications of formal verification techniques. His work is often cited in the context of model checking, theorem proving, and static analysis.

Further details regarding his specific contributions, publications, and current affiliations would require accessing academic databases or directly consulting professional profiles.