Sebastian Krings
Senior Manager R&D at Qt Quality Assurance
Korschenbroich, North Rhine-Westphalia, Germany
Summary
👤
Senior🎓
Top SchoolSebastian Krings is a Senior Manager R&D with 14 years of experience leading compiler and static analysis teams to improve safety and security in C, C++, Rust and C# ecosystems. Backed by a PhD in formal methods and a strong academic background, he blends deep research experience with hands-on implementation and integration work—building analyses, shaping compiler direction, and embedding tools into CI/CD for real-world customers. He routinely translates formal techniques (symbolic execution, control/data-flow, model validation) into practical rulesets aligned with standards like CERT and CWE. A practiced speaker and lecturer, he keeps lively ties to academia while driving product and AI-driven advances in static analysis. Based in North Rhine-Westphalia, Germany, he combines line management, direct code contributions, and customer-facing professional services to ensure technical excellence meets operational needs.
14 years of coding experience
13 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of Düsseldorf
German, English
Stackoverflow
11reputation
1kreached
0answers
1question
Github Skills (33)
animator10
checker10
twine10
abstract-syntax-tree9
ssa9
languagetool9
hosting9
linting8
shared-hosting8
text-editor7
linter7
uberspace7
parser7
theorem6
winforms6
Programming languages (8)
Github contributions (5)
hhu-stups/prob-rodinplugin
Dec 2012 - Jan 2018
Contributions:423 commits, 52 pushes, 2 branches in 5 years 2 months
checkermodel-checkerprobanimator
wysiib/language-smt-lib
Jun 2015 - Feb 2022
Contributions:9 pushes, 1 branch, 3 tags in 6 years 9 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.