• Member of the program committee for DISC 2026
• Member of the review committee of PLDI 2026
• Member of the program committee of the 2024 TLA+ Community Event
• Member of the program committee of the 43rd ACM Symposium on Principles of Distributed Computing (PODC)