Position:
Research Scientist at MIT
Work:
MIT
since Oct 2007
-
Research Scientist
Stanford University
1998 - 2007
-
Research Assistant
Texas Instruments
1996 - 1997
-
Software Engineer
Larsen & Toubro Ltd.
1994 - 1995
-
Software Engineer
Education:
Stanford University 2000 - 2007
MS and PhD, Computer Science
Stanford University 1998 - 2000
MS, Electrical Engineering
College of Engineering, Trivandrum 1990 - 1994
B-Tech, Electronics and Communication
Skills:
1, Constraint Solvers, 2, Automated bug finding tools, 3, Dynamic program analysis tools, 4, Mathematical logic
Interests:
Automated Bug Finding,
Intelligent Fuzzing,
Automated Test Generation,
Mathematical Logic in Computer Science,
Program Analysis