Patrice Godefroid

Papers

Total Citations

828

H-Index

About

Patrice Godefroid is a pioneering computer scientist whose research lies at the intersection of software verification, program analysis, and automated testing. He is best known for revolutionizing the field of software model checking, particularly through his work on VeriSoft, a tool that enabled systematic state-space exploration for concurrent systems. His seminal 1997 paper on model checking for programming languages, with over 828 citations, demonstrated how verification techniques could be applied to real-world software rather than just abstract protocols. Godefroid also made foundational contributions to concolic testing (combining concrete and symbolic execution), which has become a cornerstone of modern automated bug finding and security analysis. His work has been recognized with numerous awards, including the ACM SIGSOFT Impact Paper Award and the CAV Award. With tens of thousands of citations across his career, Godefroid’s research has profoundly influenced both academic verification theory and industrial testing tools used by companies like Microsoft, where he led the Software Analysis and Verification group. His legacy continues to shape how developers ensure software reliability and security.