Current Ph.D. Students
     
Sahan Sanjaya
BS, University of Moratuwa
Side-Channel Countermeasures
Dakshina Tharindu
BS, University of Moratuwa
Trustworthy AI
Dumindu Bandara
BE, University of Moratuwa
Semantic Transfer
Emma Andrews
BS+MS, University of Florida
Trustworthy Cryptography
Hari Krishna Parvatham
BE, IIT Madras
Formal Verification
Oscar Rodas
BE, University of Florida
Quantum Computing


Former Post-Doctoral Researchers
Dr. Farimah Farahmandi (2018)
Associate Professor, University of Florida
Dr. Khushboo Rani (2022-2023)
Postdoc, University of Virginia
Dr. Zhixin Pan (2023)
Assistant Professor, Florida State Univ


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. Kamran Rahmani (PhD 2017)
Scalable Trace Signal Selection
Engineering Manager, Asana
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. Subodha Charles (PhD 2020)
Network-on-Chip Security
Assistant Professor, Univ. of Moratuwa
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. Hasini Witharana (PhD 2024)
Assertion-based Security Validation
Security Researcher, Intel
Dr. Aruna Jayasena (PhD 2025)
Hardware-Firmware Security Validation
Assistant Professor, Univ of Tennessee
Dr. Hansika Weerasena (PhD 2025)
AI-based Network-on-Chip Security
Postdoc, North Carolina State Univ.


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
Kartik Shrivastava (MS 2010)
Compression with Encryption
ASIC Engineer, Nvidia
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)
Data Augmentation for Deflating Bias


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)
    Philip Baptist Undergraduate Research Fall 2025 - current.
    Jeevan Iyadurai Undergraduate Research Fall 2025 - current.
    Khang Tran Undergraduate Research Fall 2025 - current.
    Jorge Ramirez University Scholars Spring 2025 - Spring 2026.
    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.