Karel Ha

Prague, Prague, Czechia
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Karel 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.
code13 years of coding experience
job6 years of employment as a software developer
bookMaturita, Languages, 1.0 (1 = best, 5 = worst), Maturita, Languages, 1.0 (1 = best, 5 = worst) at Masaryk Grammar School, Pilsen, Czech Republic
bookMaster'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
languagesCzech, English, Vietnamese, German, Spanish, French
stackoverflow-logo

Stackoverflow

Stats
356reputation
18kreached
1answer
5questions
github-logo-circle

Github Skills (70)

gbm10
python10
svm10
hadoop10
h2o10
deep-learning10
automl10
gpu10
gpu-acceleration10
random-forest10
r10
gradient-boosting10
numpy10
neural-network10
tensor10

Programming languages (11)

TypeScriptMDXJavaC++CTeXHaskellLua

Github contributions (5)

github-logo-circle
mathemage/neural-style

Jun 2017 - Sep 2025

Neural style in TensorFlow! :art:
Contributions:1 PR, 7 pushes in 8 years 4 months
artdeep-learningneural-networksmachine-learningneural-style
mathemage/QHack-2021

Mar 2021 - Sep 2025

Official repo for QHack—the quantum machine learning hackathon
Contributions:1 push, 1 branch in 4 years 7 months
quantum-computingqhackmachine-learningquantumquantum-machine-learning
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.
Request Free Trial