Organizer
- Dagstuhl Seminar on Formal Analysis and Verification in Quantum Programming Languages, 2026.
- Principles of Programming Languages (POPL), 2025 & 2026. Workshops Co-Chair
- Programming Languages for Quantum Computing (PLanQC), 2020-2025
- DIMACS Workshop on Quantum Software Systems and Theory, 2025.
- Midwest Programming Languages Symposium (MWPLS), 2024.
Program Committee
- Quantum Physics and Logic (QPL), 2025.
- Programming Languages Design and Implementation (PLDI), 2025.
- Programming Languages Design and Implementation (PLDI), Student Research Competition, 2025.
- Workshop on Quantum Networks and Distributed Quantum Computing (QuNet), 2025.
- Quantum Physics and Logic (QPL), 2024.
- Quantum Programming (QP), 2024.
- Workshop on Quantum Software (WQS), 2024
- Programming Languages Design and Implementation (PLDI), 2024.
- Verification, Model Checking, and Abstract Interpretation (VMCAI), 2024.
- Principles of Programming Languages (POPL), 2023.
- Quantum Software Engineering (Q-SE), 2022.
- Programming Languages Design and Implementation (PLDI), 2022. Distinguished Reviewer
- European Symposium on Programming Languages (ESOP), 2022.
- Quantum Computing and Engineering (QCE), 2021.
- Programming Languages for Quantum Computing (PLanQC), 2020-2024. PC Chair in 2020
- Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2020. External Review Committee
- Principles of Programming Languages (POPL), 2019. Artifact Evaluation Committee
- Reversible Computing (RC), 2019.
Reviewer
- Principles of Programming Languages (POPL), 2026.
- Information and Computation, 2025.
- ACM Transactions on Software Engineering and Methodology (TOSEM), 2025.
- Transactions on Quantum Engineering (TQE), 2024
- PeerJ Computer Science, 2023.
- Symposium on Discrete Algorithms (SODA), 2022
- Theoretical Computer Science (TCS), 2021
- Quantum Physics and Logic (QPL), 2021
- Transactions on Computational Logic (ToCL), 2021
- Transactions on Software Engineering and Methodology (TOSEM), 2021
- International Conference on Concurrency Theory (CONCUR), 2021
- Principles of Programming Languages (POPL), 2021, 2022.
- ACM Transactions on Quantum Computing (ACM-TQC), 2020, 2021
- Asian Symposium on Programming Languages and Systems (APLAS), 2020
- Quantum Cryptography (QCrypt), 2020.
- International Colloquium on Automata, Languages and Programming (ICALP), 2020
- International Conference on Functional Programming (ICFP), 2020
- Mathematical Foundations of Computer Science (MFCS), 2020
- Foundations of Software Science and Computation Structures (FoSSaCS), 2020
- Quantum Information Processing (QIP), 2020
- Programming Languages Design and Implementation (PLDI), 2019, 2020
- Applied Science, 2019
- Quantum, 2018, 2020
- Journal of Quantum Information Processing (QINP), 2018, 2019, 2021
- Journal of Automated Reasoning (JARS), 2017, 2018, 2020
- Logic in Computer Science (LICS), 2016, 2018, 2019
- Mathematical Foundations of Programming Semantics (MFPS), 2016
- European Symposium on Programming Languages (ESOP), 2014
- ERGO, An Open Access Journal of Philosophy, 2014