Computing and Software Principles Research
Bell Labs

I received my Ph.D. in Computer Sciences in 1998 from the University of Texas at Austin, advised by Prof. E. Allen Emerson. I have been at Bell Labs since, initially as a member of the 1127 center.

My research looks at ways of improving the program development process through formal methods of specification and verification. My interests lie in program verification, temporal logics, model checking, and concurrent and distributed computing.

My current theoretical work explores linkages between deductive and algorithmic methods of program verification. Of particular interest: abstraction methods, compositional reasoning, and automated proof generation through model checking. On the practical side, I work with Dennis Dams, Chris Conway, and others, on compile-time analysis of C and C++ programs.

Links to a list of publications, organized in reverse chronological order, and to my entry on DBLP