Vijay Ganesh

MathSciNet


Ph.D. Stanford University 2007 UnitedStates
Dissertation: Decision Procedures for Bit-Vectors, Arrays and Integers
Mathematics Subject Classification: 68—Computer science

Advisor: David L. Dill

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Bright, CurtisUniversity of Waterloo2017
Liang, Jia HuiUniversity of Waterloo2018
Zulkoski, EdwardUniversity of Waterloo2018

According to our current on-line database, Vijay Ganesh has 3 students and 3 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 121250 for the advisor ID.