Kedar Namjoshi

email:  kedar -at- research.bell-labs.com
phone: (+1) 908.582.1891
fax: (+1) 908.582.5857
postal address:
        Room 2B-435,
        600-700 Mountain Avenue,
        Murray Hill ,NJ 07974-0636, U.S.A.
I am a member of the Computing Sciences Research Center.

I received my Ph.D. in Computer Sciences in 1998 from the University of Texas at Austin.

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 is on abstraction methods, compositional reasoning, and
automated proof generation through model checking. I am also investigating
the use of model checking methods for statically analyzing C and C++ programs.
Here are my on-line publications, and bibliographies in bibtex and HTML formats.

A little bit about me, and my academic curriculum vitae.