SooHyuk Cho

Hi! I’m SooHyuk Cho, a first-year Ph.D. student in Electrical and Computer Engineering at Princeton University. My research interests are at the intersection of computer architecture and hardware security, with an emphasis on formal verification techniques and tools.

Before Princeton, I earned a B.A. in Computer Science and Data Science from University of California, Berkeley in 2025. During my time at Berkeley, I participated in various projects at the SLICE lab as an undergraduate researcher. I developed effective, comprehensive CPU fuzzing techniques via structured program generation of meaningful instruction streams, advised by my post-doc mentor Dr. Flavien Solt and Professor Christopher Fletcher. I also contributed to the Architectural Checkpoint project in the FireSim ecosystem, mentored by Dr. Abraham Gonzalez and Professor Emeritus and Professor of the Graduate School Krste Asanović.

If you’d like to connect or discuss ideas in formal verification, EDA, hardware security, or computer architecture, feel free to reach out!

Contact: soohyuk.cho@princeton.edu