current students
phd
I am currently hiring PhD students, please reach out if you are interested in being my PhD student!
| Name | Affiliation | Start | News  |
| Matthew Ruiz | Purdue University | Fall 2024 | |
| Wen Fan | Purdue University | Fall 2024 | Wen is a co-first-author on our FORGE’25 paper! |
undergraduate
| Name | Affiliation | Start | News |
| Doruk Alp Mutlu | Michigan State University | Summer 2025 | |
| Minh Binh Tran | Purdue University | Summer 2025 | |
| Priyam Gupta | Purdue University | Summer 2024 | Priyam presented his gradual verification work at the POPL’25 SRC! |
| Craig Liu | Purdue University | Summer 2024 | Craig won the SPLASH’24 SRC! |
| Marilyn Rego | Purdue University | Summer 2024 | Marilyn is a co-first-author on our FORGE’25 paper! |
| Devin Singh | Purdue University | Spring 2024 | Devin accepted a PhD position at Purdue in Fall’25! |
| Sanya Dod | Purdue University | Fall 2023 | Sanya is a co-author on our FORGE’25 paper! |
alumni
masters
| Name | Affiliation | Tenure | Where are they now? |
| Kunal Singh | Carnegie Mellon University (Co-advised by Jonathan Aldrich) | Fall 2023 - Spring 2024 | Software Engineer @ NVIDIA |
undergraduate
| Name | Affiliation | Tenure | Where are they now? |
| Haojia Sun | Shanghai Jiao Tong University | Fall 2023 - Fall 2024 | Masters Student @ CMU |
| Jan-Paul Ramos-Dávila | Cornell University | Summer 2022 - Fall 2023 | PhD Student @ Boston University |
| Conrad Zimmerman | Brown University | Summer 2021 - Summer 2024 | PhD Student @ Northeastern University |
| Hemant Gouni | University of Minnesota | Summer 2021 - Spring 2022 | PhD student @ CMU |
| Mona Zhang | Columbia University | Summer 2020 - Spring 2021 | |
| Jacob Gorenburg | Haverford College | Summer 2020 - Spring 2021 | |
| Samuel Estep | Liberty University | Summer 2019 - Spring 2020 | PhD student @ CMU |
| Henry Blanchette | Reed College | Summer 2019 | PhD student @ University of Maryland |
| Cameron Wong | Carnegie Mellon University | Fall 2018 - Spring 2020 | PhD student @ CMU |
| Kaige Lu | Carnegie Mellon University | Fall 2018 - Spring 2019 | |