Michał Pałka
Software Engineer at Mobica
Warsaw, Masovian Voivodeship, Poland
Summary
🤩
Rockstar🎓
Top SchoolMichał Pałka is a software engineer based in Warsaw with 11 years of hands-on experience building backend and embedded systems. He currently works at Mobica and previously focused on embedded development at TechOcean, blending low-level hardware interfacing with higher-level language tooling. As a contributor to the Scala 3 compiler (Dotty), he has improved TASTy-related features, type-checking and language-server code completion—work that impacts a major, widely used open-source language project. Comfortable across parsing, erasure and ref-checks, he brings a compiler engineer’s precision to production-quality systems. Trained in electronics at Politechnika Warszawska, he combines hardware-aware engineering instincts with deep software craftsmanship. Colleagues describe him as methodical, curious about language internals, and effective at bridging embedded constraints with robust software design.
11 years of coding experience
1 year of employment as a software developer
Warsaw University of Technology
Github Skills (7)
compiler-design10
type-checking10
type-check10
scala10
language-server9
parsing8
text-parsing8
Programming languages (6)
Github contributions (5)
scala/scala3
Sep 2020 - Jan 2023
The Scala 3 compiler, also known as Dotty.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:322 reviews, 114 commits, 102 PRs in 2 years 4 months
Contributions summary:Michał primarily contributed to the Scala 3 compiler, focusing on features within the Tasty format and its related components like `Erasure`, `RefChecks` and `RefChecks`. Their work includes enhancing the handling of exception-related code and improving the language server capabilities. The commits involve changes to both the parsing and type-checking aspects of the compiler. They also worked on improving the code completion feature in the language server.
compilerscala3scaladottyepfl
VirtusLab/iskra
Nov 2021 - Dec 2022
Contributions:3 releases, 6 reviews, 46 commits in 1 year 1 month
apidataframeapachesparkscala3
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.