Patrik Maďa
Member Of Technical Staff at AISLE™
Prague, Prague, Czechia
Summary
👤
Senior🎓
Top SchoolPatrik Maďa is a pragmatic functional programmer with 9 years of experience building data-intensive systems, currently a Member of Technical Staff at AISLE™ after recent engineering roles at Microsoft. He specializes in Scala and Haskell, applying functional programming to large-scale data processing and platform observability. At Seznam.cz he optimized targeting pipelines processing hundreds of thousands of users daily and led adoption of Prometheus for anomaly monitoring. His background in medicine and years as a university lecturer give him a rigorous, analytical approach to problem solving and clear technical communication. Patrik combines hands-on implementation with a strong focus on efficiency, metrics, and reliable production monitoring.
9 years of coding experience
8 years of employment as a software developer
Medicine, Medicine at Univerzita Karlova v PrazeGymnázium, Gymnázium at Gymnázium Karviná
English, Swedish, French
Github Skills (19)
scala9
dotty9
extensible8
scala-native8
modular7
monitoring7
functional-programming7
tagless-final7
react7
database7
compiler7
rust6
time-series6
scalable5
datastore5
Programming languages (2)
Github contributions (5)
BluePat/SICP
Jul 2019 - Mar 2022
Contributions:13 commits, 12 pushes, 1 branch in 2 years 9 months
BluePat/dotty
Nov 2019 - Mar 2024
Research compiler that will become Scala 3
Contributions:3 pushes, 2 branches in 4 years 5 months
compilerscaladotty
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.