Marco David


Sorbonne Université, M.Sc. Pure Mathematics (2023)
École Normale Supérieure, M.Sc. Theoretical Physics (2022)
Jacobs University Bremen, B.Sc. Physics (2020)


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.