Curriculum Vitae: Kedar S

Curriculum Vitae: Kedar S. Namjoshi

Contact Information
address: Room 2B-435, 600-700 Mountain Avenue, Murray Hill, NJ 07074, U.S.A.
e-mail: kedar@research.bell-labs.com
web: http://www.cs.bell-labs.com/who/kedar
phone: (+1) 908.582.1891 (work), (+1) 908.582.5857 (fax)

Research Interests
Formal Methods, Model Checking, Temporal Logic, Distributed Computing, Concurrency Theory.

Education
Ph.D., Computer Sciences, Spring 1998, The University of Texas at Austin.
Dissertation: Ameliorating the State Explosion Problem
Advisor: Professor E. Allen Emerson

M.S., Computer Sciences, Spring 1992, The University of Texas at Austin.

B.Tech., Computer Science and Engineering, Spring 1990, The Indian Institute of Technology, Madras, India.
Thesis: DICE: A Distributed C Environment
Advisor: Professor C. R. Muthukrishnan

Honors and Awards
– Best Paper Award, FORTE 2002
– MCD Fellowship, University of Texas at Austin, Fall 1990 - Summer 1992
– National Talent Scholarship, India, Fall 1984 - Summer 1990

Professional Experience
Member of Technical Staff, Computing Principles Research Department, Bell Laboratories, Lucent Technologies,
June 1998 – Present

Research Assistant, Department of Computer Sciences, University of Texas at Austin, Fall 1994 - Spring 1998

Teaching Assistant, Department of Computer Sciences, University of Texas at Austin, Fall 1991 - Summer 1994

Invited Talks

Tata Institute for Fundamental Research (TIFR), Bombay, July 2002.
NEC Research Institute, March 2001.
University of Pennsylvania, October 2000.
Dagstuhl Seminar on "Verification of Infinite-State Systems", organized by Ahmed Bouajjani (University of Paris VII) and Javier Esparza (Technical University, Munich), April 2000.
Stevens Institute of Technology, October 1998

Professional Service
Program Committees
15^th International Conference on Computer Aided Verification CAV 2003,
14^th International Conference on Computer Aided Verification CAV 2002,
13^th International Conference on Computer Aided Verification CAV 2001,
Special Session on Model Checking at MFPS 2000
Ph.D. Defense Committees
Tan Li, SUNY Stony Brook, May 2002 (external member)
Abhik Roychoudhury, SUNY Stony Brook, December 2000 (external member)
Refereeing
Journal of the ACM
ACM Transactions on Programming Languages and Systems
ACM Transactions on Computational Logic
Formal Methods in System Design
Conference on Computer Aided Verification (CAV)
ACM Symposium on Principles of Programming Languages (POPL)
IEEE Symposium on Logic in Computer Science (LICS)

Selected Publications

Visual Specifications for Modular Reasoning About Asynchronous Systems ( Best Paper Award )
with Nina Amla, E. Allen Emerson, and Richard J. Trefler, in FORTE 2002.

Certifying Model Checkers,
in Conference on Computer Aided Verification (CAV), 2001

Assume-Guarantee based Compositional Reasoning for Synchronous Timing Diagrams,
with Nina Amla, E. Allen Emerson, and Richard J. Trefler, in TACAS 2001.

Syntactic Program Transformations for Automatic Abstraction,
with Robert P. Kurshan, in Conference on Computer Aided Verification (CAV), 2000.

On Model Checking for Nondeterministic Infinite State Systems,
with E. Allen Emerson, in IEEE Symposium on Logic in Computer Science (LICS), 1998.

A Simple Characterization of Stuttering Bisimulation,
Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 1997

Reasoning about Rings, with E. Allen Emerson,
ACM Symposium on Principles of Programming Languages (POPL) 1995