Tilman Zuckmantel
PHD Student at Beta Boulders
Copenhagen, Capital Region of Denmark
Summary
👤
Senior🎓
Top SchoolTilman Zuckmantel is a PhD fellow at the University of Copenhagen specializing in event-based and distributed transaction systems for microservice architectures, with 11 years of software engineering and research experience. He designed a transaction scheduler for Microsoft Orleans that improved throughput by up to 50% and deployed the solution on AWS as part of an online marketplace benchmark. Tilman combines hands-on implementation (C#, .NET, Scala, Java) with formal research into serializability and system correctness, and has independently lectured and taught engineering courses to diverse student cohorts. His open-source work includes tooling to auto-generate UML diagrams from Scala projects, reflecting an interest in bridging code, documentation, and formal models. Outside academia he applies coaching and team-building skills from climbing instruction to foster collaboration and practical learning in technical teams.
11 years of coding experience
3 years of employment as a software developer
Master of Science - MS, Computer Science, 1,1, Denmark: 12, Master of Science - MS, Computer Science, 1,1, Denmark: 12 at TU Dortmund UniversityDoctor of Philosophy - PhD (Partial Completion), Computer Science, Doctor of Philosophy - PhD (Partial Completion), Computer Science at Københavns Universitet - University of Copenhagen
Stackoverflow
710reputation
40kreached
9answers
31questions
Github Skills (17)
localdate6
sorting6
induction6
base646
coq6
proof6
decoding6
scala6
java6
uml6
visualize5
parsing2
python1
peg1
parser1
Programming languages (2)
Github contributions (5)
tizuck/scala-uml
Oct 2020 - Jan 2022
Scala-based project to visualize Scala programs in UML class diagrams.
Contributions:25 commits, 7 PRs, 36 pushes in 1 year 3 months
diagramsuml-classumlvisualizescala
grombo93/WeltraumSpiel
Feb 2015 - Jan 2016
Contributions:49 pushes in 10 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.