Computing and Software Principles Research
Bell Labs

I am the director of the Computing and Software Principles Research department in the Enabling Computing Technology research domain of Alcatel-Lucent Bell Labs.

Over the past several years, I have held a variety of technical and managerial positions in computer science research, software, and security in Bell Labs, as well as in the Alcatel-Lucent CTO organization. My research interests include performance and reliability analysis, automated verification and testing, multi-modal systems, concurrency theory, and software engineering. Prior to joining Bell Labs, I completed my Ph.D. in computer science at MIT.