Petr Váňa
Ph.D. Student at Faculty of Electrical Engineering, Czech Technical University in Prague
Central Bohemia, Czechia
Summary
🤩
Rockstar🎓
Top SchoolPetr Váňa is a Ph.D. candidate in Information Science and Computer Engineering at Czech Technical University in Prague with 11 years of experience bridging robotics research and software engineering. Based in Central Bohemia, he works in the Computational Robotics Laboratory, applying AI and optimization techniques to real-world robotic systems. He contributes to high-profile open-source projects such as the Julia programming language, focusing on back-end fixes and performance optimizations for core functions and standard library precompilation. His background includes hands-on automation work—optimizing COVID-19 PCR testing pipelines—and long-term academic service as a former member of the faculty senate. Petr blends deep academic training in AI and robotics with practical software craftsmanship, often surfacing subtle performance and correctness improvements in complex codebases.
11 years of coding experience
Ph.D. candidate, Information Science and Computer Engineering, Ph.D. candidate, Information Science and Computer Engineering at Czech Technical University in PragueGymnázium Nymburk
Czech, English
Github Skills (11)
data-structures10
performance-optimization10
data-structure10
julia10
scientific-computing9
numerical-computing9
programming-language9
language-design9
algorithms8
hpc5
machine-learning4
Programming languages (5)
Github contributions (5)
JuliaLang/julia
Aug 2021 - Jan 2023
The Julia Programming Language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:88 reviews, 42 commits, 36 PRs in 1 year 4 months
Contributions summary:Petr primarily contributed to the Julia programming language repository by addressing bugs and improving the codebase. They fixed issues related to tuple handling in `sum()` and `prod()` functions and corrected rounding behavior to prevent overflows. Additionally, the user implemented performance improvements for merging dictionaries and unique operations, indicating a focus on optimization. The user also addressed issues related to printing and precompilation in the standard library.
sciencejulia-languagemachine-learningjulialangpetsc
petvana/AutoSysimages.jl
Jul 2022 - Oct 2022
Automate user-specific system images for Julia
Contributions:9 releases, 7 reviews, 144 commits in 2 months
resolutionjulia
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.