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