Current Ph.D. Students
|
|
|
|
| Dumindu Bandara |
| BE, University of Moratuwa |
| Trustworthy Multi-Agentic Systems |
|
| |
| |
|
| Emma Andrews |
| BS+MS, University of Florida |
| Verifiable Quantum AI |
|
|
|
| Nahyeon Kim |
| MS, University of Florida |
| Trustworthy AI for Neurology |
|
Former Post-Doctoral Researchers
Former Ph.D. Stduents
|
| Dr. Heon-Mo Koo (PhD 2007) |
| Test Generation for Pipelined Processors |
| Video SoC Architect, Apple |
|
|
| Dr. Mingsong Chen (PhD 2010) |
| System-on-Chip Validation |
| Professor, East China Normal University |
|
|
| Dr. Weixun Wang (PhD 2011) |
| Energy-efficient Computing |
| Engineering Leader, Stripe |
|
| |
| |
|
| Dr. Xiaoke Qin (PhD 2012) |
| Validation of Multicore Architectures |
| Senior Architect, Nvidia |
|
|
| Dr. Kanad Basu (PhD 2012) |
| Post-Silicon Validation and Debug |
| Associate Professor, Rensselaer Polytechnic Institute |
|
|
| |
| |
|
| Dr. Yuanwen Huang (PhD 2017) |
| System-on-Chip Vulnerability Analysis |
| Software Engineer, Google |
|
|
| Dr. Farimah Farahmandi (PhD 2018) |
| Formal Verification of Hardware Security |
| Associate Professor, University of Florida |
|
|
| Dr. Yangdi Lyu (PhD 2020) |
| System-on-Chip Security Validation |
| Assistant Professor, Hong Kong University of Science and Technology |
|
| |
| |
|
|
|
| Dr. Zhixin Pan (PhD 2022) |
| ML-based Security Validation |
| Assistant Professor, Florida State Univ. |
|
|
| Dr. Daniel Volya (PhD 2024) |
| Sterring Quantum Computers |
| Quantum Researcher, HRL Lab |
|
| |
| |
|
|
|
| Dr. Aruna Jayasena (PhD 2025) |
| Hardware-Firmware Security Validation |
| Assistant Professor, University of Massachussets at Amherst |
|
|
| |
| |
|
|
| Dr. Emma Andrews (PhD 2026) |
| Trustworthy and Verifable Quantum AI |
| Quantum Researcher, IBM |
|
Alumni with MS Thesis
|
| Seok-Won Seong (MS 2006) |
| Bitmask-based Code Compression |
| Engineer, Facebook |
|
|
|
| Chetan Murthy (MS 2008) |
| Decoding-aware Compression |
| Senior Software Engineer, Amazon |
|
|
| |
| |
|
| Sudhi Proch (MS 2014) |
| Test Generation for Hybrid Systems |
| AMS Verification Lead, Texas Instruments |
|
|
| Prateek Thakyal (MS 2014) |
| Layout-aware Signal Selection |
| SoC Design Engineer, Intel |
|
|
|
| Nahyeon Kim (MS 2025) |
| Tensor Decompsoitions of ML Models |
| Ph.D. Student, University of Florida |
|
Graduate Researchers
(Alumni with Notable Publications)
| Sai Suprabhanu Nallapaneni | Research Volunteer | Fall 2024 - Fall 2025. |
| Miranda Overstreet | Research Assistant | Fall 2020 - Spring 2022. |
| Jennifer Sheldon | Research Assistant | Fall 2020 - Fall 2021. |
| Alif Ahmed | Research Assistant | Fall 2016 - Summer 2018. |
| Hadi Hajimiri | Research Assistant | Fall 2010 - Fall 2014. |
| Nirmalya Bandyopadhyay | Research Assistant | Fall 2007 - Summer 2008. |
Undergraduate Researchers
(Alumni with Notable Contributions)
| Collin Williams | Undergraduate Research | Summer 2026 - current. |
| Philip Baptist | University Scholars | Fall 2025 - current. |
| Sami Al-Jamal | Undergraduate Research | Fall 2025 - current. |
| Jeevan Iyadurai | Undergraduate Research | Fall 2025. |
| Khang Tran | Undergraduate Research | Fall 2025. |
| Jorge Ramirez | University Scholars | Spring 2025. |
| Oscar Rodas | Undergraduate Research | Fall 2024 - Spring 2025. |
| Matthew Randall | Undergraduate Research | Fall 2024 - Spring 2025. |
| Lydia Chung | REU (NSF) / University Scholars / Honors Thesis | Fall 2022 - Spring 2025. |
| Xiaoguo Jia | REU (NSF) | Summer 2024 - Fall 2024. |
| Andrey Nikitin | REU (NSF) | Fall 2023 - Summer 2024. |
| Diego Santos Gonzalez | REU (NSF) | Summer 2024. |
| Edward Guthrie | REU (NSF) | Summer 2024. |
| Laura Chang | REU (NSF) / AI Scholars | Summer 2022 - Spring 2024. |
| Richard Bachmann | REU (NSF) | Spring 2023 - Fall 2023. |
| Emmett Kogan | REU (NSF) | Summer 2023. |
| Zachery Utt | REU (NSF) / University Scholars / Honors Thesis | Spring 2022 - Spring 2023. |
| Christina Kohlbeck | REU (NSF) | Spring 2022. |
| Dylan Ferris | REU (NSF) | Spring 2021 - Summer 2022. |
| Nathaniel Strand | REU (NSF) | Spring 2021 - Fall 2021. |
| Andrew Whigham | REU (NSF) / University Scholars | Spring 2020 - Fall 2021. |
| Rohil Tuli | REU (NSF) | Spring 2020 - Fall 2021. |
| Courtney Cross | REU (NSF) / DARPA Researcher | Spring 2021 / Summer 2021. |
| Irelis Suarez | REU (NSF) | Fall 2020. |
| Stephen Butler | REU (NSF) | Spring 2018 - Spring 2019, Fall 2020. |
| Maxwell Rosenzweig | REU (NSF) | Summer 2020. |
| Jennifer Sheldon | REU (NSF) / Honors Thesis | Spring 2020. |
| Miranda Overstreet | REU (NSF) / Honors Thesis | Summer 2019 - Spring 2020. |
| Megan Logan | REU (NSF) | Spring 2018 - Spring 2019. |
| Stephen Butler | REU (NSF) | Spring 2018 - Spring 2019. |
| Meredith Agens | REU (NSF) | Spring 2018. |
| Amy DeVries | REU (NSF) | Fall 2017. |
| Alexander Rumak | REU (NSF) | Fall 2017. |
| Nathan Barnavon | REU (NSF) | Fall 2017. |
| Nikhil Venkatesh | REU (NSF) | Fall 2017 - Spring 2018. |
| Jonathan Cruz | REU (NSF) / Honors Thesis | Spring 2016 - Spring 2017. |
| John Zoldos | REU (NSF) | Spring 2017. |
| James Safko | REU (NSF) | Spring 2017. |
| John Barta | REU (NSF) | Spring 2017. |
| Kevin Barta | REU (NSF) | Spring 2017. |
| Ryan Blanchard | REU (NSF) | Spring 2016 - Fall 2016. |
| Lisbeth Cardoso | REU (NSF) | Spring 2016 - Fall 2016. |
| Timon Angerhofer | REU (NSF) | Fall 2016. |
| Emre Ozgener | REU (NSF) | Spring 2015 - Spring 2016. |
| Mai Tran | REU (NSF) | Spring 2016. |
| Leslie Richardson | REU (NSF) | Spring 2015 - Fall 2015. |
| Rachel Johnson | REU (NSF) | Fall 2014 - Summer 2015. |
| David Weinberg | Undergraduate Research | Spring 2012. |
| Leon Rogers | REU (SEAGEP) | Summer 2011. |
| Cumpase Lawrence III | REU (SEAGEP) | Summer 2009. |
| Cristobal Rivero | Undergraduate Research | Summer 2008. |
David Nash | Honors Thesis | Fall 2007. |
