Martin Ruckert
Retired at Hochschule München University of Applied Sciences
Munich, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolMartin Ruckert is a retired professor of Computer Science and Mathematics with 13 years at Munich University of Applied Sciences and a long academic career that includes teaching at SUNY New Paltz and a doctorate in proof theory from Ludwig-Maximilians-Universität München. His work bridges theoretical foundations—proof theory, logic—and practical systems like programming languages, hardware simulation and MP3 decoding, reflecting a rare mix of deep theory and hands-on implementation. He served as head of department, combining research and academic leadership, and now continues research maintenance projects such as the MMIX home page and the HINT file format. Based in Munich, he remains active in scholarly contribution and infrastructure stewardship, preferring enduring, well-documented tools over short-lived trends. An educator at heart, he emphasizes advancing the field and mentoring students even in retirement.
13 years of coding experience
30 years of employment as a software developer
Dr. rer. nat., Proof Theory, Dr. rer. nat., Proof Theory at Ludwig-Maximilians-Universität MünchenAbitur, Abitur at Karl-Theodor von Dahlberg GymnasiumMathematics, Mathematics at Technical University of MunichVordiplom, Mathematics, Vordiplom, Mathematics at Julius-Maximilians-Universität WürzburgMathematics, Mathematics at ETH Zürich
German, English
Stackoverflow
86reputation
4kreached
3answers
0questions
Github Skills (9)
hint8
tex7
latex7
cpu-architecture6
object-files6
assembly6
taocp6
mmix6
static-linking6
Programming languages (1)
Github contributions (4)
toledo/mmix
Mar 2013 - Dec 2016
Contributions:24 commits in 3 years 9 months
theartofcomputerprogramming/mmixlib
Sep 2014 - Oct 2019
Contributions:64 commits in 5 years 1 month
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.