Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jingyi Mei
conf.researchr.org general profile
DFMD 2026 profile
PLDI 2025 profile
POPL 2026 profile
Registered user since Fri 17 Oct 2025
Name:
Jingyi Mei
Country:
Netherlands
Affiliation:
Leiden University
Contributions
2026
Dutch Formal Methods Day
Author of Regular Transducers for Quantum Circuit Families within the DFMD-track
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
VMCAI
Committee Member in Artifact Evaluation Committee within the VMCAI 2026-track
2025
WQS
Author of Quantum Circuit Compilation with #SAT within the WQS 2025-track
Share
x
Fri 4 Sep 15:38