Kedar Namjoshi
I work in computer science at Bell Labs. My research is on simplifying the construction of provably correct and secure programs.


E-mail: kedar.namjoshi AT
Address: Room 2B-435, 600-700 Mountain Avenue, Murray Hill, NJ 07974, USA

Research Highlights

Developing correct and secure software is challenging. My research is on methods that simplify the construction of such programs, and provide mathematical guarantees of their correctness and security.

Much of this research is driven by the fascinating interplay between deductive and algorithmic approaches to program correctness. Deductive methods can suggest new automated approaches (e.g., for compositional reasoning). Conversely, algorithmic methods can be fruitfully viewed as proof generators (e.g. certifying automated model checkers).

My research includes work on

This research has been supported, in part, by grants from the NSF and DARPA.

And a bit more ...

Here is my academic CV.

And an up-to-date list of publications; the full list is on DBLP .

I had the privilege of presenting a talk on the history of computing at Bell Labs at the IEEE Milestone dedication ceremony in December 2014.

I graduated with a B.Tech degree from IIT Madras and a Ph.D. from the University of Texas at Austin, where E. Allen Emerson was my thesis advisor. I then joined the Computing Sciences Research Center at Bell Labs (better known as Center 1127), and have been here since. As a graduate student at UT Austin, I had the good fortune to interact closely with Edsger W. Dijkstra, as a member of the ATAC (Dijkstra's Austin Tuesday Afternoon Club). His views on what constitutes good research and the example he put forward have had a deep and long-lasting influence.