Isabelle logo

Manuel Eberl

Chair for Logic and Verification

Manuel Eberl
Name:Manuel Eberl  [ˈmaːnu̯ɛl ˈeːbɐl]
Email:<last name + m>
PGP Key:0x321C8D3D.asc
Office:MI 00.09.063
Phone:+49 89 289-17328
Office hours:by appointment
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.

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 auto­mat­ic and 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:



Isabelle Formalisation Projects


Random stuff I made

Personal Interests

Recommended links