Computing and Software Principles Research
Bell Labs

I'm a Distinguished Member of Technical Staff in the Computing and Software Principles Research department in the Enabling Computing Technologies domain at Bell Labs.

My research training is in concurrency theory and temporal logic, but I have broad interests including verification, formal methods, and software engineering. In recent years I've worked on topics in databases (integrity checking, cleaning), verification (multi-valued model checking), security (access control and confidentiality), and services.