Weiyou Wang is a PhD candidate in Computer Science at the Australian National University, supervised by Peter Höfner, Rob van Glabbeek (from The University of Edinburgh), and Alwen Tiu. His research focuses on concurrency theory, bisimulation equivalence, and process algebras. Substantial parts of his thesis have appeared in CONCUR 2021 and SOS/Express 2023.