Sebastian Ertel
Research Group Leader at Barkhausen Institut
Dresden, Saxony, Germany
Summary
👤
Senior🎓
Top SchoolSebastian Ertel is a research-driven engineering leader with 11 years of experience bridging academic rigor and industry impact, now leading a research group at Barkhausen Institut in Dresden. His background spans compiler construction, functional and imperative languages, databases, data integration, and microservice architectures, with hands-on work in big data and SQL-driven systems. He earned a PhD from Technische Universität Dresden and progressed from systems and compiler research roles into senior positions at Huawei and Barkhausen Institut, showing a consistent trajectory from deep technical research to group leadership. Sebastian combines a researcher’s attention to formal correctness with practical experience shipping software in industry, and he often applies compiler and language techniques to real-world data and integration challenges.
11 years of coding experience
18 years of employment as a software developer
Doctor of Philosophy - PhD (Dr.-Ing.), Doctor of Philosophy - PhD (Dr.-Ing.) at Technische Universität Dresden
Stackoverflow
31reputation
26kreached
2answers
0questions
Github Skills (115)
linux10
nixos9
nix9
java9
smt8
scalable8
formal-verification8
bytecode8
extensible8
optimization8
implicit8
nixpkgs8
sat-solver8
aot8
bazel8
Programming languages (9)
Github contributions (5)
Barkhausen-Institut/vRATLS
Mar 2024 - Jan 2025
A formal specification for RATLS (remote attestation embedded into TLS).
Contributions:2 reviews, 11 PRs, 72 pushes in 9 months
Barkhausen-Institut/koika
Sep 2022 - Nov 2024
A core language for rule-based hardware design 🦑
Contributions:6 PRs, 7 pushes, 1 branch in 2 years 2 months
ruledeclarative-programmingrule-basedtladsl
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.