Kedar Namjoshi
Kedar S. Namjoshi
Kedar Namjoshi
Researcher, Nokia Bell Labs
Joined
July 2019
Names
,
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
Jonathan Smith
2025 – Present
Coauthor
Pamela Zave
2025 – Present
Coauthor
Devora Chait-Roth
2023 – Present
Expertise
formal methods
Present
program verification
Present
logic
Present
Publications
Co-Authors
- Akanksha Atrey
- Akshay Jajoo
- Amy P. Felty
- Anton Xue
- Ariel Cohen
- Chaoqiang Deng
- Christopher L. Conway
- Clark W. Barrett
- Corina S. Pasareanu
- Dennis Dams
- Devora Chait-Roth
- Dimitra Giannakopoulou
- E. Allen Emerson
- Edmund Ballou
- Fadoua Khmaissia
- Giacomo Tagliabue
- Girija J. Narlikar
- Gordon T. Wilfong
- Huaixi Lu
- Itai Segall
- John P. Letourneau
- Katya I. Kisyova
- Krishan K. Sabnani
- Lenore D. Zuck
- Lucas M. Tabajara