Sorbonne Université, M.Sc. Pure Mathematics (2023)
École Normale Supérieure, M.Sc. Theoretical Physics (2022)
Jacobs University Bremen, B.Sc. Physics (2020)
AWARDS
Studienstiftung des deutschen Volkes (2017-2023) & ERP Fellow (2023-2024)
Paris Graduate School for Mathematical Sciences (2022-2023)
Jugend forscht: Bundessieg (First Prize, German National Science Fair 2018)
INVITED TALKS
Formalisation of Mathematics Seminar, Cambridge, UK (January 2023)
Theoretical Physics Seminar, Uppsala, Sweden (June 2022)
Publications
J. Bayer, C. Benzmüller, K. Buzzard, M. David, L. Lamport, Yu. Matiyasevich, L. Paulson, D. Schleicher, B. Stock and E. Zelmanov, "Mathematical Proof Between Generations," Notices of the AMS, Vol. 71, 1 (2024).
M. David and F. Méhats, "Symplectic Learning for Hamiltonian Neural Networks," J. of Comp. Phys. 494, 112495 (2023).
F. Fehse, M. David, M. Pioro-Ladrière and W. A. Coish, "Generalized fast quasi-adiabatic population transfer for improved qubit readout, shuttling, and noise mitigation," Phys. Rev. B 107 (24), 245303 (2023).
J. Bayer, M. David, A. Pal, B. Stock and D. Schleicher, "The DPRM Theorem in Isabelle," 10th Intl. Conf. on Interactive Theorem Proving (ITP), LIPIcs 141, pp. 33:1-33:7 (2019).
J. Bayer, M. David, A. Pal and B. Stock, "Beginners’ quest to formalize mathematics: A feasibility study in Isabelle," 12th Conf. on Intelligent Computer Mathematics (CICM), LNCS Vol. 11617 (2019).
See my Google Scholar profile for a complete list.