Picture of Kedar Namjoshi

Kedar Namjoshi

Murray Hill, NJ, USA


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 issues, CAV 2007, SAS 2016
Best Paper Awards, FORTE 2002, QRS 2016
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


Selected Articles and Publications