Summary
| Name | Manuel EBERL [ˈmaːnu̯ɛl ˈʔeːbɐl]
(feel free to call me by first name) |
| <firstname>@pruvisto.org (German, English, Esperanto, Swedish) | |
| CV | [PDF] |
| ORCID | 0000-0002-4263-6571 |
| Scholarly profiles | Google Scholar, DBLP |
| Mastodon | @pruvisto@graz.social (German/English) @pruvisto@esperanto.masto.host (Esperanto) |
| Erdős number | ≤ 4 |
About me
Since September 2026, I work as a Formal Verification Engineer at Apple in Munich. Before that, I did my PhD at the Technical University of Munich from 2014 to 2021 and a postdoc at the Computational Logic Group of the University of Innsbruck from 2021 to 2026.
In my time as a researcher, I mainly worked on the formalisation of pure mathematics in Isabelle/HOL. I also served as an editor of the Archive of Formal Proofs and the Annals of Formalized Mathematics for numerous years.
Mathematical Interests
With varying levels of proficiency:
- Complex analysis
- Discrete mathematics, asymptotics
- (Analytic) number theory; in particular: elliptic functions and modular forms
- Social choice theory
- Decision procedures
- Algorithms, refinement, program verification, running time and resource analysis
- Functional programming