Write a Blog >>
SPIN 2021
Wed 14 - Thu 15 July 2021 Aarhus, Denmark
co-located with ECOOP and ISSTA 2021
Patrice Godefroid

Registered user since Fri 12 Jun 2015

Name: Patrice Godefroid

Bio: Patrice Godefroid is a Principal Researcher at Microsoft Research. He received a B.S. degree in Electrical Engineering (Computer Science elective) and a Ph.D. degree in Computer Science from the University of Liege, Belgium, in 1989 and 1994 respectively. From 1994 to 2006, he worked at Bell Laboratories (part of Lucent Technologies), where he was promoted to “distinguished member of technical staff” in 2001. His research interests include program (mostly software) specification, analysis, testing and verification.

Country: United States

Affiliation: Microsoft Research, USA

Personal website: http://research.microsoft.com/en-us/um/people/pg/

Research interests: Software Model Checking, Program Analysis, Testing, Verification, Security, Software Engineering

Contributions

SPIN 2021Committee Member in Programming Committee within the SPIN-track
Show activities from other conferences

Using general profile