Teaching

2024

MICS5510 Formal Methods and Testing for Electronic System Verification
Sep 4, 2024 1:30 PM — Dec 4, 2024 4:20 PM E4-201

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