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 (69)
linux10
nixos9
formal-verification9
parallel-processing9
nix9
bytecode8
coq8
haskell8
parallel-computing8
hardware-designs8
cryptography8
remote-attestation8
nixpkgs8
aot8
java8
Programming languages (10)
Github contributions (5)
Barkhausen-Institut/vRATLS
Mar 2024 - Jul 2025
A formal specification for RATLS (remote attestation embedded into TLS).
Contributions:2 reviews, 12 PRs, 75 pushes in 1 year 4 months
remote-attestation
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
hardware-designs
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.