Vijay Ganesh
Original record- Institution
- Stanford University
- Year
- 2007
- Country
- United States
- MGP identifier
- 121250
Dissertation: Decision Procedures for Bit-Vectors, Arrays and Integers
Mathematics Subject Classification: 68—Computer science
Advisor 1
- David L. DillCarnegie Mellon University · 1987
Students 11
| Name | Institution | Year | Students |
|---|---|---|---|
| Reza Babaee | University of Waterloo | 2019 | 0 |
| Murphy Berzish | University of Waterloo | 2021 | 0 |
| Curtis Bright | University of Waterloo | 2017 | 0 |
| Karthick Jayaraman | Syracuse University | 2011 | 0 |
| Chunxiao Ian Li | University of Waterloo | 2023 | 0 |
| Jia Hui Liang | University of Waterloo | 2018 | 0 |
| BEHKISH Nassirzadeh | University of Waterloo | 2025 | 0 |
| Saeed Nejati | University of Waterloo | 2020 | 0 |
| Joseph Scott | University of Waterloo | 2024 | 0 |
| Yunhui Zheng | Purdue University | 2014 | 0 |
| Edward Zulkoski | University of Waterloo | 2018 | 0 |