Isabelle logo

Manuel Eberl

Chair for Logic and Verification

Manuel Eberl
Name:Manuel Eberl  [ˈmaːnu̯ɛl ˈeːbɐl]
Email:<last name + m>
(German, English, Esperanto)
PGP Key:0x9BE72A84.asc
Scholarly profiles:Google Scholar, DBLP
Office:MI 00.09.063 (by appointment)
Phone:+49 89 289-17328
Erdős number:≤ 4

About me

Since Decem­ber 2014, I am a PhD stu­dent in Com­pu­ter Sci­ence at the Chair for Lo­gic and Ver­i­fi­ca­tion. Since 2018, I am also an ed­itor of the Archive of Formal Proofs.

I mainly work on the for­mal­i­sa­tion of pure math­e­mat­ics in Isa­belle/­HOL. I be­lieve that the form­al­isa­tion of a sig­ni­fic­ant por­tion of known math­em­at­ics is a feas­ible and worth­while en­deav­our.

My cur­rent work is the form­al­isa­tion of the (semi-)auto­mat­ic solv­ing and veri­fic­a­tion of cer­tain classes of math­em­at­ic­al prob­lems, par­tic­u­larly those of the asymp­tot­ics of real-val­ued func­tions.

Mathematical Interests

With vary­ing levels of pro­fi­ciency:

Current Work




Isabelle Formalisation Projects

See my separate list of formalisations projects.


Random stuff I made

Personal Interests

Recommended links