Teachings Here are the courses and talks I have given: LGC-203/MTH/CSC: Logics in Computer Science: TBA LGC-301/MTH/CSC: Intro from Type Theory to Proof Assistant: TBA LGC-302/MTH/CSC: Logics and AI under CS and DS: TBA