Teaching

2022

MICS6000H Logic Design Automation of Digital Systems
MICS6000A Automated Reasoning in Electronic System Verification

2021

FUNH6800A (T1) Function Hub Seminar