Manuel Eberl
Postdoctoral Researcher at Leopold-Franzens Universität Innsbruck
Innsbruck, Tyrol, Austria
Summary
👤
Senior🎓
Top SchoolManuel Eberl is a computer science postdoctoral researcher at the University of Innsbruck with 13 years of experience in formalising mathematics and automating proof development. He earned a summa cum laude doctorate from TUM and combines deep theoretical knowledge with practical programming across functional and object-oriented languages, plus low-level C and embedded work. His research sits at the intersection of computational logic and tool automation, aiming to make sophisticated mathematics explainable to machines. He has a strong academic pedigree from TUM, including roles as PhD student and teaching assistant, and contributes to the formal methods community while occasionally dabbling in Haskell. Notably, he explicitly avoids roles in finance or AI, preferring foundational, verifiable computing problems. Based in Innsbruck, he brings a rigorous, reproducible approach to complex verification and formalisation challenges.
13 years of coding experience
1 year of employment as a software developer
Computer Science, Computer Science at FernUniversität in HagenDoctor of Science (Dr. rer. nat.), Computer Science, summa cum laude, Doctor of Science (Dr. rer. nat.), Computer Science, summa cum laude at Technical University of MunichComputer Science, Computer Science at Universität Passau
English, German, Esperanto, Swedish, French, Dutch, Spanish
Stackoverflow
7,958reputation
73kreached
221answers
6questions
Github Skills (41)
melpa10
emacs-lsp10
branches10
git-mirror10
elisp10
emacs-lisp9
emacs9
isabelle9
lua9
neovim9
theorem-proving6
science6
logic6
haskell6
induction6
Programming languages (8)
Github contributions (5)
pruvisto/heap
Jan 2015 - Apr 2018
A flexible Haskell implementation of minimum, maximum, minimum-priority, maximum-priority and custom-ordered heaps.
Contributions:10 commits, 4 PRs, 7 pushes in 3 years 2 months
haskell
pruvisto/100isabelle
Feb 2021 - Jun 2022
The Top 100 Theorems in Isabelle
Contributions:1 review, 3 PRs, 38 pushes in 1 year 4 months
theoremsisabelle
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.