Benedek Horváth
Subproject Lead at itestra
Stuttgart, Baden-Württemberg, Germany
Summary
👤
Senior🎓
Top SchoolBenedek Horváth is a results-oriented software engineer and subproject lead with over a decade of experience building full-stack, model-driven systems from embedded devices to cloud-native SaaS. He combines hands-on development in Java/Kotlin, TypeScript, Quarkus, Vue.js and Kubernetes with formal methods and model-based engineering expertise (OCSMP certifications and PhD research on scalable model verification). At itemis and itestra he has driven architecture discussions, mentored teams, led migrations of JetBrains MPS editors to the web, and owned CI/CD and Helm-based deployments for secure SaaS products. His open-source work includes the MoDeS3 demonstrator and KtAlex, reflecting a habit of turning research prototypes into reusable libraries and tools. Notably, he bridges academic rigor and production readiness—rewriting synchronization plugins, implementing verification workflows in the cloud, and presenting practical model-based threat analysis at community meetups. Based in Stuttgart, he seeks roles that value innovation, maintainability, and measurable impact.
10 years of coding experience
11 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Johannes Kepler Universität LinzMaster of Science (MSc), Major in Dependable Systems, minor in Data Mining, Master of Science (MSc), Major in Dependable Systems, minor in Data Mining at Budapest University of Technology and EconomicsExchange semester, Computer Science, Exchange semester, Computer Science at Technical University of Munich
English, German, Hungarian
Github Skills (104)
composition10
converting10
mapreduce10
code-generation10
eclipse10
cloud-native10
wkhtmltopdf10
reactive10
intellij-plugin10
component-based10
hadoop-mapreduce10
kubernetes10
java10
quarkus10
dub10
Programming languages (12)
Github contributions (5)
ftsrg/BME-MODES3
Jan 2016 - Aug 2019
Model-based Demonstrator for Smart and Safe Systems
Contributions:4 releases, 578 commits, 14 PRs in 3 years 7 months
model-basedoptimizationsdubkubernetessafe
benedekh/WeLoveClouds
Feb 2017 - Aug 2024
Repository for submissions on the CloudDB course.
Contributions:24 PRs, 35 pushes, 29 branches in 7 years 7 months
cloudsubmissionsaws
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.