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 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