Patrice's picture (taken in 1995) Bell Labs logo

Patrice Godefroid

As of September 2006, I no longer works at Bell Labs. My email address is desactivated but you can reach me using my old email address god AT

I used to work in the Computing Sciences Research lab (famous for the inventions of Unix, C, etc.) at Bell Laboratories, Lucent Technologies.

My main area of research is program (mostly software) specification, analysis, testing and verification.

My research interests include: verification and testing of communication protocols, automatic analysis methods for reactive and concurrent systems, model-checking algorithms, formal specification languages, logics of programs, program analysis, design methodologies, software engineering; methods for exploring and representing large state spaces, search techniques in artificial intelligence; automatic synthesis of reactive controllers, planning, control theory.

Here is a very brief bio. Below on this page, you will find software, my address, some fun stuff and a copyright notice for the papers below.

Some On-line Talks:

Some Professional Activities: Member of the program committee for the conferences

What's up? Here are papers describing some of the topics I've been working on recently (in chronological order).

see my Publications by Themes

Previous Publications (1990-1994)

Copyright Notice: The above material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.



Bell Laboratories
Lucent Technologies
Room 9G-537
2701 Lucent Lane
Lisle, IL 60532, U.S.A.

Copyright ©Lucent Technologies 1996-2006. All rights reserved.