Maximilian Baader -

Registered user since Mon 9 Mar 2020

Name:Maximilian Baader

Country:Switzerland

Affiliation:ETH Zurich

Personal website: https://www.sri.inf.ethz.ch/people/max

Research interests:quantum computing, adversarial robustness

Contributions

2021

PLDI

Author of Fast and Precise Certification of Transformers within the PLDI-track

2020

PLDI

Author of Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics within the PLDI Research Papers-track