|
I am a research scientist
at MIT working on efficient constraint
solving algorithms and automated bug finding techniques. I
completed my Ph.D. in computer science from Stanford University in 2007.
Education
- PhD and MS
in computer science, Stanford University, CA, USA. September, 2007
- MS in
electrical engineering, Stanford University, CA, USA.
September, 1998 - June, 2000
- B-Tech in
electronics & communications, College of Engineering, Trivandrum, India.
November, 1990 - November, 1994
Research Interests
- Constraint
Solvers for software reliability and security
- Automated
Bug Finding
- Self Healing
Software
- Applications
of Model Theory to Complexity Theory
Current Software
Projects
Constraint
Solvers
- STP: A Constraint Solver for Bit-vectors and
Arrays
- Hampi: A Solver for String Constraints (An extension of STP)
- AvatarSAT: A Self-tuning SAT Solver
Automated Bug
Finding Tools
- BuzzFuzz: A dynamic taint-based
Directed Fuzzing Tool
- jFuzz: A Concolic Whitebox Fuzzer for Java
Contact
- Phone:
617-253-5881
- Email:
vganesh ‘at’ csail ‘dot’ mit ‘dot’ edu
|
