Service

Organizer

  • Programming Languages for Quantum Computing (PLanQC), 2020-2024

Program Committee

  • Quantum Physics and Logic (QPL), 2024.
  • Quantum Programming (QP), 2024.
  • Programming Languages Design and Implementation (PLDI), 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

  • Transactions on Quantum Engineering (TQE), 2024
  • 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