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)