Activities#
Invited Talks#
May. 2024
“ReLU Hull Approximation” in the workshop Formal Methods in Australia and New Zealand at the University of Queensland, St Lucia, Australia, at 15:30-16:00 on 30 May 2024.
May. 2024
“ReLU Hull Approximation” in FPench community monthly meeting on May 2nd at 9:00-10:00 AM Pacific time.
Community Work#
Jan. 2024
I served the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’24) as a member of the Artifact Evaluation Committee.
Tutor Work#
Semester 2, 2024 at the University of Queensland
CSSE7160: Concurrency: Theory and Practice (St. Lucia, Brisbane, Australia). Semester 2, 2024. (Taught by A/Prof. Guangdong Bai)
Semester 2, 2023 at the University of Queensland
CSSE7160: Concurrency: Theory and Practice (St. Lucia, Brisbane, Australia). Semester 2, 2023. (Taught by A/Prof. Guangdong Bai)