Scholar
Marco David
Google Scholar ID: DSFZaHoAAAAJ
University of California, Berkeley
Citations & Impact
Citations
110
H-index
5
i10-index
3
Publications
12
Co-authors
9
list available
Publications
Resume (English only)
Academic Achievements
- Outstanding Graduate Student Instructor Award, UC Berkeley (2025)
- Studienstiftung des deutschen Volkes Scholar (2017–2023)
- ERP Fellow (2023–2024)
- Member, Paris Graduate School for Mathematical Sciences (2022–2023)
- First Prize (Bundessieg), Jugend forscht – German National Science Fair (2018)
- Publications include:
- — 'Mathematical Proof Between Generations', Notices of the AMS, Vol. 71, No. 1 (2024)
- — 'Symplectic Learning for Hamiltonian Neural Networks', Journal of Computational Physics 494, 112495 (2023)
- — 'Generalized fast quasi-adiabatic population transfer...', Physical Review B 107, 245303 (2023)
- — 'The DPRM Theorem in Isabelle', ITP 2019, LIPIcs 141
- — 'Beginners’ quest to formalize mathematics...', CICM 2019, LNCS Vol. 11617
