Patrice Godefroid received the B.S. degree in Electrical Engineering
(Computer Science elective) and the Ph.D. degree in Computer Science
from the University of Liege, Belgium, in 1989 and 1994 respectively.
In 1994, he joined Bell Laboratories (now part of Lucent
Technologies), where he currently holds a position of "distinguished
member of technical staff". His research interests include program
(mostly software) specification, analysis, testing and verification.