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

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

Professional activities

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