Karel Ha
Prague, Prague, Czechia
Summary
🤩
Rockstar🎓
Top SchoolKarel Ha is a high-IQ polymath and senior AI engineer with 13 years of experience building research-grade ML systems and production LLM tooling across startups and enterprise teams. He combines deep expertise in LLMs, computer vision, reinforcement learning and prompt “meta‑engineering” with a strong systems background from roles at PwC, Pure Storage, Volkswagen, TUM and Imperial College. Karel favors autonomous, deep‑work environments where he can lead as a senior individual contributor or research lead and has repeatedly delivered auditable, production-ready automation (e.g., GCaaS report pipelines and multi‑agent orchestration). His track record includes publishing research (TensorCFR), advanced prompt engineering with Claude/GPT families, and cross-domain problem solving from genome inference to real‑time DAQ optimizations at CERN. Multilingual and internationally seasoned, he pairs elite academic results with a pragmatic, code‑centric approach and a clear preference for roles that minimize micromanagement while maximizing impact.
13 years of coding experience
6 years of employment as a software developer
Maturita, Languages, 1.0 (1 = best, 5 = worst), Maturita, Languages, 1.0 (1 = best, 5 = worst) at Masaryk Grammar School, Pilsen, Czech RepublicMaster's Degree, Discrete models and algorithms, 1.0 (1 = best, 4 = worst), Master's Degree, Discrete models and algorithms, 1.0 (1 = best, 4 = worst) at Charles University in Prague
Czech, English, Vietnamese, German, Spanish, French
Stackoverflow
356reputation
18kreached
1answer
5questions
Github Skills (98)
gbm10
python10
nearest-neighbors10
svm10
h2o10
deep-learning10
automl10
gpu10
gpu-acceleration10
random-forest10
glm10
r10
acceleration10
gradient-boosting10
gradient10
Programming languages (9)
Github contributions (5)
mathemage/CapsuleGAN-presentation
May 2018 - Aug 2020
Contributions:52 commits, 26 pushes, 5 branches in 2 years 3 months
mathemage/xphi-lhcb
Aug 2015 - Mar 2016
Contributions:178 pushes, 4 branches in 7 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.