František Nečas
Software Developer at DRW
Amsterdam, North Holland, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolFrantišek Nečas is a software developer and master's student from Brno University of Technology with nine years of hands-on experience building reliable developer tooling and static analysis systems. He contributes to open source and research-grade C++ static analyzers (notably 2LS) and has driven measurable wins in SV-COMP through performance and precision improvements. At DRW he’s transitioned research skills into production work—building an HTTP-to-Apache-Arrow Flight API and a React frontend to make data exploration more accessible. His background at Red Hat includes automating Fedora integration workflows and adding upgrade-testing capabilities to test management tooling. An avid Python tinkerer and conference speaker, he blends low-level program analysis expertise with practical automation to reduce developer toil. Based in Amsterdam, he’s as comfortable implementing novel loop-unwinding algorithms as shipping user-facing interfaces that simplify complex data access.
9 years of coding experience
5 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at Brno University of Technology
Czech, English, German
Github Skills (128)
github10
python10
toolbox10
testing10
parquet10
rpm-spec10
api10
rpm10
test-automation10
git10
in-memory10
java10
anaconda10
rebase10
rule10
Programming languages (9)
Github contributions (5)
FrNecas/packit
Jul 2019 - Mar 2023
Upstream project ← → Downstream distribution
Contributions:1 PR, 49 pushes, 22 branches in 3 years 8 months
downstreamdistributionupstream
FrNecas/packit-service
Nov 2021 - Feb 2023
Packit provided as a service
Contributions:45 pushes, 22 branches in 1 year 3 months
as-a-service
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.