Assistant Professor
University of Utah


Cunxi is an Assistant Professor in the ECE Department 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), and NSF CAREER Award (2021). 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 is currently supported by NSF FMiTF Award, NSF SHF Core, NSF CAREER Award, Xilinx, and DOE Center for Integrated Nanotechnologies (CINT).
CV (04/2022)

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 - )
  • BS Student: Tara Zamani (Sp'20 - ), Daniel Robinson (Sp'22 - )
  • Visiting/Co-advise Student: Walter Lau Neto (Ph.D.@UoUtah), Yingheng Tang (Ph.D.@Purdue)


    Professional Service

  • Organizing Committee: ASAP'19, IWLS'(2020 - 2022), ICCD'(2020,2021), VLSI-SoC'20
  • TPC Member: IWLS'(17-19), DUHDe@DATE'19, ASP-DAC'(2020-2022), ICCAD'(2020,2021), ROAD4NN@DAC'2022
  • Funding Review/Panelist: NSF CSN, NSF CISE
  • 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