Shriram Krishnamurthi
University/Research Lab: Brown University
Location: (Providence, RI)
Personal Research Web Page: http://www.cs.brown.edu/~sk/
Keywords: programming languages, verification, security, software engineering
Location: (Providence, RI)
Personal Research Web Page: http://www.cs.brown.edu/~sk/
Keywords: programming languages, verification, security, software engineering
Posted on: Monday, June 8th, 2009
Broad Research Area: Information Assurance / Security / Privacy / Cryptography, Programming Languages / Compilers, Software Engineering
Research Interests:
Please see my home page and publications.
Contact Information:
Please see my home page.
