Cunxi Yu
Scholar

Cunxi Yu

Google Scholar ID: M4b_5bAAAAAJ
Assistant Professor, University of Maryland, College Park | NVIDIA Research
Formal VerificationEDALogic SynthesisOptical Neural Networks
Citations & Impact
All-time
Citations
1,559
 
H-index
23
 
i10-index
41
 
Publications
20
 
Co-authors
0
 
Resume (English only)
Academic Achievements
  • Best Paper Award at ASPLOS (2025); Best Paper Award at DAC (2023); Best Paper Finalists at DAC (2025); several Best Paper Nominations; NVIDIA Academic Research Award (2025); First Place of DAC Hack@DAC (2017); American Physical Society DLS poster award (2022); NSF CAREER Award (2021).
Research Experience
  • Before joining the University of Maryland, he was an Assistant Professor at the University of Utah and held postdoc positions at Cornell University (with Prof. Zhiru Zhang) and EPFL (with Prof. Giovanni De Micheli) in 2017-2018. He also worked as a research intern at IBM T.J. Watson Research Center in 2015 and 2016.
Education
  • Received Ph.D. degree from UMass Amherst in 2017 under Prof. Maciej Ciesielski.
Background
  • He is an Assistant Professor in the ECE Department (A. James Clark School of Engineering) and an affiliated Assistant Professor in the CS Department at the University of Maryland, College Park. His research interests focus on novel algorithms, systems, and hardware designs for computing and security.
Miscellany
  • Deeply grateful to his wife and their two beloved cats, Bagel and Oreo, for their unwavering support and companionship. Actively seeking students who show strong interests in EDA and formal methods research.
Co-authors
0 total
Co-authors: 0 (list not available)