Vojtěch Horký
Lektor at D3S • Department of Distributed and Dependable Systems, Charles University
Prague, Prague, Czechia
Summary
🤩
Rockstar🎓
Top SchoolVojtěch Horký is an experienced software researcher and educator based in Prague with 16 years working at the intersection of distributed systems research and teaching. He holds a PhD in Software Systems from Charles University and has progressed from PhD student to researcher and lecturer, now serving as Lektor at the Department of Distributed and Dependable Systems. His background spans practical developer work—building tools for qualified time-stamp issuance—to international localization testing at Sun Microsystems, showing both applied engineering and academic rigor. For a decade he also taught IT at a secondary school, demonstrating a strong commitment to mentoring the next generation of engineers alongside his research. Colleagues would describe him as a practitioner who bridges dependable systems research with hands-on tool development and pedagogy.
16 years of coding experience
Master's degree, Computer Science, Master's degree, Computer Science at Charles University in Prague, Faculty of Mathematics and PhysicsDoctor of Philosophy - PhD, Software systems, Doctor of Philosophy - PhD, Software systems at Univerzita Karlova v Praze
Github Skills (90)
benchmark10
operating-system10
multicore10
multiserver10
wrapping10
benchmarking10
java10
scala10
kernel10
aot10
dygraphs10
usb10
redmine10
unit-testing-framework9
compiler9
Programming languages (14)
Github contributions (5)
vhotspur/helenos
Nov 2017 - Sep 2025
My feature branches for HelenOS.
Contributions:2 reviews, 2 PRs, 63 pushes in 7 years 11 months
brancheskubernetes
d-iii-s/graal
Mar 2018 - May 2022
Contributions:174 pushes in 4 years 3 months
trophypolyglotperformancerocketgraal
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.