Rod Chapman
Visiting Professor · Safety- and Security-Critical Systems
University of YorkUnited Kingdom
About
Rod Chapman is a Visiting Professor at the Department of Computer Science, University of York, and currently affiliated with Amazon Web Services (AWS) since September 2022. He holds an MEng (1991) and DPhil (1995) from the University of York and has extensive experience in high-integrity software development, including a 19-year tenure at Praxis, where he advanced from graduate to principal engineer.
Education
- MEng, University of York (1991)
- DPhil, University of York (1995)
Research Interests
- Safety- and Security-Critical Systems
- Programming language design and static verification technologies
- Formal methods in software development
- Personal behaviour and discipline in programming practice
At Praxis, Rod led the development of the SPARK programming language and verification tools, contributing to advancements in reliable software engineering. He is an SEI-certified PSP Instructor and has been an independent consultant in high-integrity software since 2014.
0Publications listed
Find Rod Chapman elsewhere
Related Searches
You Might Also Like
Byron CookUniversity College London · Professor
Yingfei XiongMax Planck Institute for Security and Privacy · Associate Professor
Antonio FilieriImperial College London · Visiting Associate Professor
Antonio FilieriMax Planck Institute for Security and Privacy · Visiting Associate Professor
Xavier RivalÉcole Normale Supérieure · Adjunct Professor
Raphaël MonatNational and Kapodistrian University of Athens · Researcher