Current Ph.D. Students
|
Sahan Sanjaya |
BS, University of Moratuwa |
Side-Channel Countermeasures |
|
|
Daniel Volya |
BS, University of Florida |
Noise-Resilient Quantum Computing |
|
|
Hasini Witharana |
BE, University of Moratuwa |
Trust Validation using Security Assertions |
|
|
|
|
Emma Andrews |
BS+MS, University of Florida |
Trustworthy Cryptography |
|
|
Aruna Jayasena |
BE, University of Moratuwa |
Test Generation for Security Validation |
|
|
Current Undergraduate Researchers
|
Andrey Nikitin |
BS, University of Florida |
Research Area: Quantum Computing |
|
|
Laura Chang |
BS, University of Florida |
Research Area: Artificial Intelligence |
|
|
Lydia Chung |
BS, University of Florida |
Research Area: Hardware Security |
|
|
|
|
|
Edward Guthrie |
BS, University of Florida |
Research Area: Firmware Security |
|
|
Xiaoguo Jia |
BS, University of Florida |
Research Area: Communication Security |
|
Former Post-Doctoral Researchers
Former Ph.D. Stduents
|
Dr. Heon-Mo Koo (PhD 2007) |
Test Generation for Pipelined Processors |
Video 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 Manager, Amazon |
|
|
|
|
Dr. Xiaoke Qin (PhD 2012) |
Validation of Multicore Architectures |
Senior Architect, Nvidia |
|
|
Dr. Kanad Basu (PhD 2012) |
Post-Silicon Validation and Debug |
Assistant Professor, Univ of Texas, Dallas |
|
|
|
|
|
Dr. Yuanwen Huang (PhD 2017) |
System-on-Chip Vulnerability Analysis |
Software Engineer, Google |
|
|
Dr. Farimah Farahmandi (PhD 2018) |
Formal Verification of Hardware Security |
Assistant Professor, University of Florida |
|
|
Dr. Yangdi Lyu (PhD 2020) |
System-on-Chip Security Validation |
Assistant Professor, Hong Kong Univ. 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 |
|
|
|
|
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 |
|
Graduate Researchers
(Alumni with Notable Publications)
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)
Lydia Chung | REU (NSF) / University Scholars | Fall 2022 - present. |
Xiaoguo Jia | REU (NSF) | Summer 2024 - present. |
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. |
|