SAS Events
SAS News
rutgers.edu
SAS
Search People
Search Website
DIMACS | Center for Discrete Mathematics and Theoretical Computer Science
DIMACS | Center for Discrete Mathematics and Theoretical Computer Science
About
Partners
Governance
Travel
Reimbursement
DIMACS Mailing Lists
Code of Conduct
People
Staff
Faculty
Current Post Docs
Past Post Docs
Current Visitors
All Visitors
DIMACS Members
Programs
All DIMACS Programs
Themed Programs
Education Programs
Reconnect
Implementation Challenges
Research Experience for Undergraduates (REU)
News
Events
Upcoming Events
Seminar Series
Past Events
Giving
Contact Us
People
Staff
Faculty
Current Post Docs
Past Post Docs
Current Visitors
Visitor Orientation Guide
Visitor Entertainment Guide
Topics of DIMACS Special Year/Special Focus Programs
All Visitors
DIMACS Members
People Details
Namjoshi, Kedar
Kedar Namjoshi
Unit:
Nokia Bell Labs
Organization:
Nokia Bell Labs
Interests:
Programming methodology, concurrency semantics, program analysis and verification methods, specification logics
Website
