Vijay Ganesh

     Research Scientist @ MIT
     Cambridge, MA, USA

Home

CV

Publications

STP

Past Software Projects

Pictures

Interests

BuzzFuzz
I am currently employed as a research scientist at MIT working with Prof. Martin Rinard's group, and Tim Leek from Lincoln Labs. I also collaborate with Prof. Daniel Jackson's group on decision procedures, and with Prof. Michael Ernst's group on program analysis. I completed my Ph.D. in computer science from Stanford University in 2007.


Education

  • MS and Ph.D. 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, University of Kerala, India. November, 1990 - November, 1994


Research Interests

  • Decision procedures for program analysis, bug finding and formal verification
  • Automated bug finding or intelligent fuzzing
  • Program rectification and self healing software

Contact

    Phone: 617-253-5881
    Email: vganesh ‘at’ csail ‘dot’ mit ‘dot’ edu