Toggle navigation
OpenReview
.net
Login
×
×
BibTeX Record
Click anywhere on the box above to highlight complete record
Kedar Namjoshi
Researcher, Nokia Bell Labs
Joined July 2019
Names
Kedar Namjoshi
,
Kedar S. Namjoshi
Suggest Name
Emails
****@nokia-bell-labs.com
(Confirmed)
Suggest Email
Personal Links
Homepage
DBLP
Suggest URL
Career & Education History
Researcher
Nokia Bell Labs
(nokia-bell-labs.com)
1998
–
Present
Suggest Position
Advisors, Relations & Conflicts
Coauthor
Devora Chait-Roth
2023
–
Present
Coauthor
Lenore Zuck
2010
–
Present
Coauthor
Richard Trefler
2000
–
Present
PhD Advisor
E Emerson
1993
–
Present
Suggest Relation
Expertise
formal methods
Present
program verification
Present
logic
Present
Suggest Expertise