Hongce Zhang
Hongce Zhang
Home
Projects
Publications
Posts
Teaching
Light
Dark
Automatic
Teaching
2023
MICS5510 Formal Methods and Testing for Electronic System Verification
Feb 7, 2023 1:30 PM — May 9, 2023 4:20 PM
Online
2022
MICS6000H Logic Design Automation of Digital Systems
Sep 7, 2022 9:00 AM — Dec 7, 2022 11:50 AM
Rm 103, E1 Computational Labs (mixed-mode)
2021
FUNH6800A (T1) Function Hub Seminar
Sep 6, 2021 6:00 PM — Nov 29, 2021 6:00 PM
Online
Cite
×