Isabelle logo

Manuel Eberl

Chair for Logic and Verification

Manuel Eberl
Name:Manuel Eberl  [ˈmaːnu̯ɛl ˈeːbɐl]
Email:<last name + m>@in.tum.de
(German, English, Esperanto)
PGP Key:0x9BE72A84.asc
CV:[PDF]
ORCID:0000-0002-4263-6571
Office:MI 00.09.063 (by appointment)
Phone:+49 89 289-17328
Twitter:@pruvisto
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:

Current Work

Publications

Theses

Isabelle Formalisation Projects

See my separate list of formalisations projects.

Teaching

Random stuff I made

Personal Interests

Recommended links