Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Peter Selinger
conf.researchr.org general profile
ICSE 2025 profile
PLDI 2021 profile
POPL 2019 profile
POPL 2020 profile
POPL 2023 profile
POPL 2024 profile
Not registered as user yet
Name:
Peter Selinger
Country:
Canada
Affiliation:
Dalhousie University
Contributions
2025
Q-SE
PC Member in Program Committee within the Quantum SE-track
2024
PLanQC
Committee Member in Program Committee within the PLanQC 2024-track
2023
POPL
Author of Proto-Quipper with Dynamic Lifting within the POPL-track
2021
PLanQC
Committee Member in Program Committee within the PLanQC 2021-track
2020
PLanQC
Invited Speaker of Invited Talk: Dependently Typed Quantum Programming in Proto-Quipper within the PLanQC-track
2019
POPL
Committee Member in Program Committee within the Research Papers-track
Share
x
Thu 21 Nov 11:32