Picture of Kedar Namjoshi

Kedar Namjoshi

Murray Hill, NJ, USA

Education

Ph.D., University of Texas at Austin (1998), advisor E. Allen Emerson
M.S., University of Texas at Austin (1992)
B.Tech, Indian Institute of Technology (IIT), Madras (1990), advisor C. R. Muthukrishnan

Honors and Awards

Invitation to special issue, CAV 2007
Best Paper Award, FORTE 2002
MCD Fellowship, University of Texas at Austin, 1990-1992
National Talent Scholarship, India, 1984-1990

Professional Activities

Associate Editor, Formal Methods in Systems Design, 2005-Present