Dimitar Banchev

Software Engineer at horaios GmbH

Ulm, Baden-Württemberg, Germany
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Dimitar Banchev is a software engineer based in Ulm with eight years of experience building secure, full-stack applications and tooling. He studied system programming in Bulgaria before completing a Computer Science bachelor’s at Technische Hochschule Ulm and moving into industry roles at Mercedes-Benz Tech Innovation and horaios GmbH. His work spans web, desktop, and automotive infotainment development, with hands-on experience in Spring, Qt, WebAssembly, and cryptographic protocols. Dimitar has contributed to prominent open-source security tooling—most notably enhancing gosec by improving cryptographic checks, adding rules and tests, and refining CI workflows. He combines compiler-inspired static analysis techniques from his bachelor thesis with practical security engineering to detect real-world vulnerabilities. Colleagues describe him as a curious engineer who translates deep technical concepts into reliable, testable software.
code8 years of coding experience
bookProfessional Qualification, System Programming, Professional Qualification, System Programming at VSEE M. V. Lomonosov
bookBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Technische Hochschule Ulm
languagesBulgarian, English, German
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
0answers
0questions
github-logo-circle

Github Skills (9)

golang10
static-code-analysis10
go10
security-scan10
security-txt10
cryptography10
security10
security-automation9
test-driven-design9

Programming languages (6)

JavaC++RustJavaScriptGoPython

Github contributions (5)

github-logo-circle
securego/gosec

Jun 2024 - Dec 2024

Go security checker
Role in this project:
userSecurity Engineer
Contributions:3 PRs, 12 comments, 3 issues in 5 months
Contributions summary:Dimitar primarily contributed to enhancing the security checks provided by the `gosec` tool. Their work involved modifying and splitting existing rules, particularly related to cryptographic algorithm usage (G401, G405, G406, G407). They updated CWE mappings, added new rules, and implemented tests to validate the functionality of the new rules. Additionally, they addressed CI/CD workflow issues and refactored existing code to improve the tool's overall quality.
golangchecklistsecurity-automationsecurity-toolschecker
Contributions:35 commits, 33 pushes, 1 branch in 3 years 8 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.
Request Free Trial
Dimitar Banchev - Software Engineer at horaios GmbH