Murray Hill, NJ, USA

Kedar Namjoshi

_imported_https://media-bell-labs-com.s3.amazonaws.com/bell_labs/users/2014/04/02/kedar_namjoshi_bw.jpg

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

Professional activites

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

 

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