Kedar Namjoshi

Researcher, Nokia Bell Labs

  • Joined July 2019

Names

Kedar Namjoshi
,
Kedar S. Namjoshi

Emails

****@nokia-bell-labs.com (Confirmed)

Personal Links

Career & Education History

Researcher
Nokia Bell Labs (nokia-bell-labs.com)
1998 – Present
 

Advisors, Relations & Conflicts

Coauthor
Devora Chait-Roth
2023 – Present
 
Coauthor
2010 – Present
 
Coauthor
2000 – Present
 
PhD Advisor
1993 – Present
 

Expertise

formal methods
Present
 
program verification
Present
 
logic
Present
 

OpenReview is a long-term project to advance science through improved peer review with legal nonprofit status. We gratefully acknowledge the support of the OpenReview Sponsors. © 2025 OpenReview