• Sign in
  • Sign up
conf.researchr.org / Michael Walter
  • POPL 2024 profile
  • POPL 2025 profile
No Photo

Registered user since Tue 12 Sep 2023

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

Contributions

2025

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
xFri 23 May 23:06
using conf.researchr.org (v1.69.0)
Support page
Sign Up