Thomas Vogel
Software Engineering Researcher at Humboldt-Universität zu Berlin
Berlin, Germany
Summary
👤
Senior🎓
Top SchoolThomas Vogel is a software engineering researcher in Berlin with 15 years of research experience and a PhD summa cum laude, specializing in self-adaptive and trustworthy autonomous systems. He leads projects that combine control theory, AI, and explainable verification to make software that automatically adapts to changing environments and mitigates bugs at runtime. With over 50 publications cited 4,000+ times and multiple awarded prototypes (including a Facebook Testing & Verification Research Award), he bridges rigorous academic methods with practical engineering outcomes. Thomas has led tool and framework development (e.g., EUREMA, MORISIA, mRUBiS) and teaches software engineering topics, bringing a rare mix of long-term systems-building and empirical evaluation to automated testing and controller synthesis. Notably, his work emphasizes user-friendly requirement specification so that verification and adaptation become accessible to industry partners.
9 years of coding experience
14 years of employment as a software developer
Dr. rer. nat. (PhD), Computer Science, summa cum laude, Dr. rer. nat. (PhD), Computer Science, summa cum laude at Hasso Plattner InstituteDipl.-Wirtsch.Inf Univ., Information Systems, 1.0 (with distinction, best graduate of the faculty in 2008), Dipl.-Wirtsch.Inf Univ., Information Systems, 1.0 (with distinction, best graduate of the faculty in 2008) at Otto-Friedrich-Universität Bamberg
Github Skills (17)
evolutionary-algorithms6
testing5
android4
grammar3
afl-fuzz3
data-processing3
ios3
javascript3
realtime3
big-data2
xml2
fuzzing2
java1
uppaal1
java-api1
Programming languages (3)
Github contributions (5)
thomas-vogel/mRUBiS
Dec 2017 - Sep 2018
Contributions:67 commits, 40 pushes, 2 branches in 8 months
thomas-vogel/sapienzdiv-ssbse19
Jun 2019 - Dec 2019
SAPIENZ^div @ SSBSE 2019: Does Diversity Improve the Test Suite Generation for Mobile Applications?
Contributions:6 commits, 4 pushes in 6 months
fitness-landscape-analysisssbsetest-case-generationdiversityevolutionary-algorithms
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.