Vijay Ganesh

Current

• Research Scientist at MIT

Past

• Research Assistant at Stanford University
• Software Engineer at Texas Instruments
• Software Engineer at Larsen & Toubro Ltd.

see less...

Education

• Stanford University
• Stanford University
• College of Engineering, Trivandrum

see less...

Connections

47 connections

Industry

Computer Software

Websites

• My Website

Vijay Ganesh’s Summary

I am a computer scientist working on

1. Automated bug finding and Fuzzing tools

2. Constraint solvers for mathematical theories. Useful for automated testing, program synthesis, AI, hardware verification and biology

Vijay Ganesh’s Specialties:

1. Constraint Solvers
2. Automated bug finding tools
3. Dynamic program analysis tools
4. Mathematical logic

Vijay Ganesh’s Experience

• Research Scientist

  MIT

  (Educational Institution; Higher Education industry)

  October 2007 — Present (2 years 3 months)

  Researcher in Automated Bug Finding, Computer Security, and Constraint Solvers

• Research Assistant

  Stanford University

  (Educational Institution; 10,001 or more employees; Higher Education industry)

  1998 — 2007 (9 years )

  Researcher in constraint solving as applied to formal methods and program analysis

• Software Engineer

  Texas Instruments

  (Public Company; TXN; Semiconductors industry)

  1996 — 1997 (1 year )

  Instruction set simulators for DSP chip

• Software Engineer

  Larsen & Toubro Ltd.

  (Privately Held; Automotive industry)

  1994 — 1995 (1 year )

  Worked on programming industrial controllers

Vijay Ganesh’s Education

• Stanford University

  MS and PhD , Computer Science , 2000 — 2007

• Stanford University

  MS , Electrical Engineering , 1998 — 2000

• College of Engineering, Trivandrum

  B-Tech , Electronics and Communication , 1990 — 1994

Additional Information

Vijay Ganesh’s Websites:

• My Website

Vijay Ganesh’s Interests:

Automated Bug Finding, Intelligent Fuzzing, Automated Test Generation, Mathematical Logic in Computer Science, Program Analysis

Vijay Ganesh’s Contact Settings

Interested In:

• career opportunities
• new ventures