معرفی
Dr. rer. nat. Manuel Eberl is a Postdoc at the Computational Logic Group of the University of Innsbruck since September 2021. His research focuses on the formalization of pure mathematics in Isabelle/HOL, particularly in areas like analytic number theory, asymptotics, and algorithm verification. He contributes to the Archive of Formal Proofs and the Annals of Formalized Mathematics.
- Education: PhD in Computer Science from the Technical University of Munich (2021).
Research Interests: Manuel works on theorem proving, formalizing mathematical concepts, and verifying algorithms. His interests span complex analysis, analytic combinatorics, abstract algebra, and randomized algorithms. Current projects include semi-automatic real asymptotics, formalization of Tom Apostol's analytic number theory textbook, and continued fractions.
Publication Trends: His 15 most recent works (2023-2024) emphasize formalizing number theory (Chebyshev polynomials, Kummer's congruence), algorithm verification (Parallel Shear Sort), and mathematical analysis (Theta functions, critical points of polynomials). These publications reflect a strong focus on Isabelle/HOL and bridging pure mathematics with formal methods.
