Markus D
Senior Research Scientist at Beneficial AI Foundation
Austria
Summary
👤
Senior🎓
Top SchoolMarkus D is a Senior Research Scientist and research mathematician based in Austria with nine years of experience at the intersection of theoretical mathematics, machine learning, and AI safety. A recent DPhil from the University of Oxford, he has combined academic depth with applied research—designing hard math problems for FrontierMath benchmarks, advising organizations as an independent AI research consultant, and pioneering formal verification workflows using Lean 4. His roles at Beneficial AI Foundation and prior industry collaborations (including Lhasa Limited) reflect a focus on provable, verifiable AI and automation of mathematical proof. Markus pairs rigorous theorem-driven thinking with practical tooling and benchmarking expertise, making him equally at home proving results on paper and stress-testing large language models. An under-the-radar strength is his track record of translating doctoral-level mathematics into usable AI safety artifacts and evaluation suites.
9 years of coding experience
4 years of employment as a software developer
Master of Science (MSc), Mathematics, Master of Science (MSc), Mathematics at University of ViennaDoctor of Philosophy (PhD/DPhil), Mathematics, Doctor of Philosophy (PhD/DPhil), Mathematics at University of OxfordMatura, Matura at Bundesgymnasium Seekirchen am WallerseeUniversity College London
German, English, Spanish
Github Skills (10)
mnist7
early-stopping6
python5
regularization5
keras4
deep-learning3
pytorch3
graph3
chainer3
tensorflow3
Programming languages (2)
Github contributions (5)
Contributions:13 commits, 12 pushes, 1 branch in 2 years 8 months
MarkusFerdinandDablander/QSAR-activity-cliff-experiments
Jan 2023 - May 2024
Contributions:8 pushes, 1 issue in 1 year 3 months
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.