Registered user since Mon 9 Mar 2020

Name:Maximilian Baader
Affiliation:ETH Zurich
Research interests:quantum computing, adversarial robustness


PLDI 2021 Author of Fast and Precise Certification of Transformers within the PLDI-track
PLDI 2020 Author of Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics within the PLDI Research Papers-track