Bio: Dr. Cunxi Yu is a tenure-track
Assistant Professor at University of
Utah. He received his Ph.D. at
University of Massachusetts
Amherst in 2017. He was a
PostDoc at EPFL from 2017-2018
and a PostDoc at Cornell
University from 2018-2019. He
was Research Intern with IBM
Thomas J. Watson Research Center
in 2015 and 2016. His work
received the best paper
nominations at ASP-DAC (2017),
TCAD (2018), and won the 1st
place at DAC Security Contest
(2017), and was nominated for
ACM Outstanding Dissertation
Award. More details can be found
at Dr. Cunxi Yu’s website.
Personal website:
https://ycunxi.github.io/cunxiyu/
Contact: cunxi.yu@utah.edu
Research Topics
• Formal Verification for AI system, Explainable AI
• Machine Learning for Electronic Design Automation (ML4EDA)
• Cross-stack Software Hardware Co-design
• Deep learning for combinatorial optimization
Minimum Qualifications
• Strong research interests and motivation
• Solid programming skills in C/C++/python
• CS/ECE/Math majors with a solid GPA record
• Solid communication and writing skills (GRE/TOEFL)
• Application requirements and online application system can be found
here: https://www.ece.utah.edu/grad#qf-app-requires
Preferred Qualifications
• Exposure to Formal Methods, e.g., SAT/SMT/LP/GB
• Basic knowledge of EDA for Integrated Circuits (ICs), e.g., tool/algorithm/design
space exploration for synthesis/PnR/verification
• Hardware acceleration, e.g., DNN accelerator co-design on CPU/FPGA/GPU
University of Utah & Salt Lake City
Ranking: CSRanking: #31; USNews CE: #49; USNews CS: #43
4 hours to Yellowstone and Grand Teton National Park
12 mins to Utah Jazz (NBA) Stadium; US best ski place (2002 Winter Olympic)
Prospective PhD students and PostDoc
• Prospective PhD students (Fall20): Please send me your [CV, GRE, TOEFL and
B.S./M.S. transcripts] and use [Ph.D. Application - Your Name] as the email
subject.
• Prospective PostDoc: Strong background in EDA tool development for ASIC/FPGA,
research experience with advanced technology node is a plus. Please send me [CV,
list of publications] and use [PostDoc Application - Your Name]