Stefan Dollase
Software Engineer at KISTERS AG
Aachen, North Rhine-Westphalia, Germany
Summary
👤
Senior🎓
Top SchoolStefan Dollase is a software engineer with 11 years of experience, blending rigorous academic research and practical engineering from RWTH Aachen to industry. His PhD work and role as wissenschaftlicher Mitarbeiter focused on formalizing and implementing automated complexity analysis for functional programs with rich data structures and numeric reasoning. He has hands-on experience leading and contributing to Java research tooling (notably AProVE) and maintaining the popular Java open-source project Amidst, demonstrating an ability to evolve research prototypes into widely used software. Stefan has taught and led large courses, supervised student researchers, and introduced process and tooling improvements, giving him early leadership and mentoring experience. Now based in Aachen, he brings a rare mix of formal methods depth, production-grade Java development, and a track record of turning complex theoretical ideas into practical tools.
11 years of coding experience
Ziel: Promotion, Computer Science, Ziel: Promotion, Computer Science at RWTH Aachen University
German, English
Stackoverflow
4,580reputation
7.2mreached
96answers
21questions
java
top-5%
Github Skills (24)
minecraft10
data-structure10
java9
forge9
optimization8
bytecode8
static-analysis7
soot7
type-conversion6
eclipse6
integer6
dictionary6
inheritance6
intellij-idea6
programming-language6
Programming languages (4)
Github contributions (5)
toolbox4minecraft/amidst
Aug 2015 - May 2018
Contributions:26 releases, 1552 commits, 193 PRs in 2 years 8 months
minecraftdata-structuretracking
stefandollase/app-state-binder-js
Feb 2015 - May 2018
Contributions:10 pushes, 2 branches, 3 tags in 3 years 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.