Natarajan Shankar
University/Research Lab: SRI International
Location: (Menlo Park CA)
Personal Research Web Page: http://www.csl.sri.com/users/shankar
Keywords: Automated deduction, formal verification, software engineering, programming languages, type systems, symbolic algorithms, software certification, probabilistic inference, planning.
Location: (Menlo Park CA)
Personal Research Web Page: http://www.csl.sri.com/users/shankar
Keywords: Automated deduction, formal verification, software engineering, programming languages, type systems, symbolic algorithms, software certification, probabilistic inference, planning.
Posted on: Wednesday, June 3rd, 2009
Broad Research Area: AI / Machine Learning / Robotics / Vision, Programming Languages / Compilers, Software Engineering
Research Interests:
Our main interests are in the formal specification, verification, and certification of software-based systems using static and dynamic analysis, model checking, and deductive methods. Our group has developed verification and reasoning systems such as PVS, SAL, Yices, and PCE (Probabilistic Consistency Engine). We have applied these systems to a number of sequential and distributed algorithms. We are also active participants in the Verified Software Initiative and the related VSTTE conference.
Contact Information:
Email: email obfuscated - click to reveal;
Phone: 650-859-5272
