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)