Computing and Software Principles Research
Bell Labs

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

My primary research focus is on program analysis and verification methods, especially pertaining to model checking, concurrency, and temporal logic.

Here is my academic CV. You can find out more about my research by following the "Research" link (what else?) on the left.