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 ordered by family name.

NameSchoolYearDescendants
Jayaraman, KarthickSyracuse University2011
Zheng, YunhuiPurdue University2014
Bright, CurtisUniversity of Waterloo2017
Liang, Jia HuiUniversity of Waterloo2018
Zulkoski, EdwardUniversity of Waterloo2018
Babaee, RezaUniversity of Waterloo2019
Nejati, SaeedUniversity of Waterloo2020

According to our current on-line database, Vijay Ganesh has 7 students and 7 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.