Assistant Professor
University of Utah


Cunxi is an Assistant Professor in the ECE Department and Kahlert School of Computing (Affiliated) at the University of Utah. His research interests focus on novel algorithms, systems, and hardware designs for computing and security. Before joining University of Utah, Cunxi was a PostDoc at Cornell University in 2018-2019 with Prof. Zhiru Zhang, and was a PostDoc at EPFL in 2017-2018 with Prof. Giovanni De Micheli in 2017-2018, and was a research intern at IBM T.J Watson Research Center in 2015 and 2016. He received Ph.D. degree from UMass Amherst in 2017 under Prof. Maciej Ciesielski. His work received the best paper nomination at ASP-DAC (2017), TCAD Best paper nomination (2018), 1st place at DAC Security Contest (2017), NSF CAREER award (2021), and American Physical Society DLS poster award (2022). He served as Organizing Committee in IWLS, ICCD, VLSI-SoC, ASAP, as a TPC member in ICCAD, DATE, ASP-DAC, DAC, and panelist/reviewer for several funding agencies. Yu's group has been supported by NSF FMiTF Award, NSF SHF Core, NSF CAREER Award, NSF SWIFT, Xilinx, Nvidia, Ampere Computing, and DOE Center for Integrated Nanotechnologies (CINT).
CV (10/2022)

I am actively recruiting self-motivated Ph.D. students in broad aspects of computing engineering. Send me an email with a brief research statement, CV, and transcript if you are interested.
I am very fortunate to work with a group of talented researchers and students!




  • Algebraic Combinational Equivalence Checking (ACEC) [Thesis Version] [New Version] [ACEC@ABC]
  • Logic Decryption using Incremental SAT [Website] [Github]
  • Formal Verification of GF(2^n) Arithmetic [Website] [Github]
  • ML-assisted Synthesis System -- FlowGen[Github], FlowTune (w end-to-end FPGA/ASIC support) [Github] [Talk@Youtube]


  • Post-Doc: Dr. Minhan Lou (Summer'21)
  • PhD Students: Yingjie Li (Sp'20 - ), Jiaqi Yin (Sp'21 - ), Mingju Liu (Fall'22 - ), Keqi Song (Sp'23 - )
  • BS Student: Daniel Robinson (Sp'22 - ; NSF REU)
  • Alumnus: Dr. Walter Lau Neto (19-22), Yingheng Tang (Visiting PhD), Tara Zamani (20-22)


    Professional Service

  • Organizing Committee: ASAP'19, IWLS'(2020 - 2022), ICCD'(2020,2021), VLSI-SoC'20, General Chair@IWLS'23
  • TPC Member: IWLS'(17-19), DUHDe@DATE'19, ASP-DAC'(2020-2022), ICCAD'(2020,2021), DAC(2022), ROAD4NN@DAC'2022, DATE(2023)
  • Session chair: DAC'22, ICCAD'22
  • Funding Review/Panelist: NSF CSN, NSF CISE, NSF FMiTF
  • Journal Reviewer: IEEE Transactions on VLSI, IEEE Design&Test, IEEE Transactions on CAD, IEEE Transactions on Information Forensics and Security, IEEE Embedded System Letter, ACM Transactions on Design Automation of Electronic Systems
  • Conference Reviewer: VTS'15, ICCAD'15, CHES'16, DAC'17, DAC'18, ASPDAC'19, FPGA'19