- Hiring: CE Ph.D. positions avaiable in Fall 2020. Area: 1) 3 x Formal Methods 2) 1-2 x EDA/VLSI/Circuits
- 06/2020 Recieved NSF award (CCF-Core:SHF) on advancing Graph Learning and Formal Methods (Role: Sole PI).
- 06/2020 PhD students Yingjie Li and Qiwei Yuan both got accepted as DAC'20 Young Student Fellow. Congrats!
- 05/2020 I will serve as TPC of 39th International Conference On Computer Aided Design (ICCAD'2020).
- 04/2020 I will serve as PhD/Student Forum Chair of 28th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC 2020), and serve as TPC member of 26th Asia and South Pacific Design Automation Conference(ASP-DAC 2021)
- 02/2020 I will serve as Special Session Chair of The 38th IEEE International Conference on Computer Design (ICCD'20)
- 01/2020 I will serve as Financial Chair of 29th International Workshop on Logic & Synthesis (IWLS'20)
- 11/2019 PhD Students Qiwei Yuan, Yingjie Li join the group. Welcome!
- 07/2019 I will serve as Guest Editor of Journal of Signal Processing Systems (JSPS) Special Issue.
- 05/2019 I will serve as TPC member and Best Paper Award Committee of ASP-DAC'20.
- 03/2019 We are organizing The 30th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2019) July 15-17, 2019, at Cornell Tech, New York City. Paper submission site is open!
Organizing Committee: ASAP'19, IWLS'20, ICCD'20, VLSI-SoC'20
TPC Member: IWLS'17, IWLS'18, IWLS'19, DUHDe@DATE'19, ASP-DAC'20, ICCAD'20, ASP-DAC'21
Funding Review/Panelist: NSF-CNS'20
Journal Reviewer: IEEE Transactions on VLSI, IEEE Design&Test, IEEE Transactions on CAD, IEEE Transactions on Information Forensics and Security, IEEE Embedded System Letter
Conference Reviewer: VTS'15, ICCAD'15, CHES'16, DAC'17, DAC'18, ASPDAC'19, FPGA'19