• Sign in
  • Sign up
conf.researchr.org / Michael Walter
  • ICFP/SPLASH 2025 profile
  • POPL 2024 profile
  • POPL 2025 profile

Registered user since Tue 12 Sep 2023

Name:Michael Walter
Affiliation:Ruhr-Universität Bochum
Personal website: https://qi.rub.de/walter

Contributions

2025

SPLASH

  • Author of QbC: Quantum Correctness by Construction within the OOPSLA-track

PLanQC

  • Committee Member in Program Committee within the PLanQC 2025-track

2024

PLanQC

  • Author of QbC: Quantum Correctness by Construction within the PLanQC 2024-track
  • Committee Member in Program Committee within the PLanQC 2024-track
Share
xSat 6 Sep 21:45
using conf.researchr.org (v1.70.0)
Support page
Sign Up