Srikar Reddy 
rsreddy at ucdavis dot edu

Dept. of Computer Science
University of California at Davis
One Shields Ave
Davis, CA 95616


I am a Ph.D., student in the department of computer science at University of California Davis.


Research Projects:
    During my master's I worked on "Runtime policy enforcement: Theory and practice of monitoring software at runtime" under the guidance of my advisor Dr. Jay Ligatti.

Publications:
   Technical Reports:
        A Theory of Runtime Enforcement, with Results. Jay Ligatti and Srikar Reddy. Technical Report USF-CSE-SS-102809, University of South Florida, October 2009. [BibTeX] 

Teaching:
  Teaching Assistant (Spring 2009): COT3100 Intro. to Discrete Structures

Education:
  Ph.D., Computer Science, University of California Davis Ca (Sep 2009- Present)
  M.S., Computer Science, University of South Florida Tampa, Fl (Aug 2007- Aug 2009)
  B.E.,  Computer Science and Engineering, Sathyabama University Chennai, India (Jul 2007)