Service

Organizer

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

Program Committee

  • Programming Languages Design and Implementation (PLDI), 2022.
  • European Symposium on Programming Languages (ESOP), 2022.
  • Quantum Computing and Engineering (QCE), 2021.
  • Programming Languages for Quantum Computing (PLanQC), 2020-2021. PC Chair in 2020
  • Object-Oriented Programming, Systems, Languages & Applications (OOPSLA), 2020. External Review Committee
  • Principles of Programming Languages (POPL), 2019. Artifact Evaluation Committee

Reviewer

  • Quantum Physics and Logic (QPL), 2021
  • Transactions on Software Engineering and Methodology (TOSEM), 2021
  • ACM Transactions on Quantum Computing, 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
  • Reversible Computing (RC), 2019. Program Committee
  • Programming Languages Design and Implementation (PLDI), 2019
  • Applied Science, 2019
  • Quantum, 2018–2020
  • Quantum Information Processing Journal (QINP), 2018, 2019
  • Journal of Automated Reasoning (JARS), 2017, 2018
  • 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