Registered user since Mon 9 Mar 2020

Name: Maximilian Baader

Country: Switzerland

Affiliation: ETH Zurich

Personal website:

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