About
Cunxi 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. Before joining University of Maryland, Cunxi was Assistant Professor with University of Utah, and held PostDoc at Cornell University (with Prof. Zhiru Zhang) and EPFL in 2017-2018 (with Prof. Giovanni De Micheli). Cunxi 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 Award at DAC (2023), Best Paper Nominations at ASP-DAC (2017),
TCAD (2018), and 1st place at DAC Hack@DAC (2017), NSF
CAREER Award (2021), and American Physical Society DLS poster award (2022).
CV
I am very fortunate to work with a group of talented researchers and students! I am actively seeking students who show strong interests in EDA and formal methods research.
I am deeply grateful to my wife and our two beloved cats, Bagel and Oreo, for their unwavering support and companionship.
Recent talks
- The Rise and Fall of Machine Learning for EDA - Studies in Synthesis and Verification (U Delaware, Peking U, Google X, NVIDIA, Synopsys)
- A Computer Engineering Journey to Optical Neural Networks: Infrastructure, Algorithms, and Co-design (Rutgers Efficient AI Seminar, Stevens Institute of Technology, NCSU, OPTSys Seminar Series)
News
- 12/2024 Our collaborative work with Prof. Weilu Gao on PCM devices for Optical AI has been accepted at Advanced Photonics Research.
- 11/2024 One paper appeared at VLSI-SoC'25 on formal verification of modular arithmetic.
- 10/2024 Team UMD placed 3rd in the first LLM for Hardware Design Contest@ICCAD, led by Junior student Carsten. Congrats!
- 10/2024 SmoothE to appear at ASPLOS 2025!
- 08/2024 Welcome Zhan Song, Chen Chen, Qihao Hu to the group!
- 06/2024 Yu gave Talks at NVIDIA Research and Google DeepMind.
- 06/2024 MapTune is accepted at ICCAD'24
GitHub
- 05/2024 Differentiable combinatorial scheduler is accepted at ICML'24.
GitHub
- 04/2024 Daniel (NSF REU) will begin his PhD study at MIT EECS in Fall'24!
- 04/2024 Received $900K NSF Grant for advanced hardware synthesis w Prof. Zhiru Zhang (Cornell).
- (past news)
Tools
ML-based Synthesis & Design Automation Systems
Formal Verification System
- 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]
People
- Dr. Walter Lau Neto (Utah, 19-22) -> Synopsys
- Dr. Yingheng Tang (visiting student) -> Lawrence Livermore National Laboratory
- Tara Zamani (Utah, 19-21) -> Duke
- Daniel Robinson (Utah, 22-24; NSF REU) -> MIT EECS
Professional Service
- Nature Machine Intelligence
- Nature Scientific Report
- Nature Light: Science & Applications
- Nanophotonics
- ACM Transactions on Design Automation of Electronic Systems
- IEEE Design & Test of Computers
- IEEE Transactions on Very Large Scale Integration Systems
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- IEEE Transactions on Computers
- IEEE Transactions on Information Forensics and Security
- IEEE Journal on Emerging and Selected Topics in Circuits and Systems
- IEEE Transactions on Emerging Topics in Computing
- IEEE Computer Architecture Letters
- ACM Transactions on Reconfigurable Technology and Systems
Sponsors
