Dr. Patrice Godefroid

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. Since 1994, he has been a member of the technical staff at Bell Laboratories, Lucent Technologies. His research interests include the verification and testing of communication protocols, program analysis, and design methodologies for concurrent reactive systems.

Email address: god@bell-labs.com

Home page: http://www.bell-labs.com/~god

Tel: (630) 713-4766

Fax: (630) 713-4982