Daniel Drodt
Wissenschaflicher Mitarbeiter at Technische Universität Darmstadt
Hesse, Germany
Summary
👤
Senior🎓
Top SchoolDaniel Drodt is a research-focused software engineer and Master’s student in Computer Science and Philosophy at TU Darmstadt with a decade of experience working in academic software and verification projects. Currently a Wissenschaftlicher Mitarbeiter, he specializes in formal verification and software modelling while maintaining a strong interest in web and open-source development. His track record at TU Darmstadt spans roles from student assistant to research staff, reflecting deep institutional knowledge and practical experience bridging theory and implementation. Known for rigorous academic performance (1.25 GPA) and a methodical approach, he brings both formal methods expertise and a developer’s curiosity to collaborative engineering problems.
10 years of coding experience
Technischen Universität DarmstadtAbitur, 1,3, Abitur, 1,3 at Prälat-Diehl-Schule
English, German
Github Skills (51)
molecule10
seo10
lit-html10
custom-element10
frontend10
logic10
converter9
typst9
lit-element9
markdown9
citations9
markup9
yaml9
vue9
typesetting9
Programming languages (6)
Github contributions (5)
rec0de/kalkulierbar
Nov 2019 - Apr 2020
Learning Framework for Logic Calculi
Contributions:1 release, 707 commits, 2 pushes in 5 months
logicframework-learning
DiiLord/lit-element
Sep 2017 - Jul 2018
Implements lit-html via a LitElement class. Made for custom Elements
Contributions:101 commits, 13 PRs, 74 pushes in 10 months
lit-elementlit-html
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.