Pavel Marek
Compiler Engineer at Enso
Prague, Czechia
Summary
🤩
Rockstar🎓
Top SchoolPavel Marek is a compiler engineer with 10 years of experience building language runtimes, interpreters, and compiler pipelines, currently shaping Enso’s language engine from parsing to native image deployment. He has deep practical expertise in the Truffle/GraalVM ecosystem and the JVM, and led JPMS and native-image migrations that improved startup and modularity in mixed Java/Scala systems. Pavel designed language features like private visibility and equality semantics, built an automated benchmarking and visualization infrastructure, and modernized a custom IR to reduce boilerplate and aid debugging. His work on Enso and prior contributions to FastR at Oracle Labs show a talent for bridging language design with runtime performance and package compatibility. An early background in embedded firmware gives him an uncommon sensitivity to low-level system behavior that informs pragmatic trade-offs. He is an active open-source contributor who prefers the right tool for the job and switches languages as the problem demands.
10 years of coding experience
4 years of employment as a software developer
Master's degree, Computer Science, Master's degree, Computer Science at Charles University in Prague
Czech, English, German
Github Skills (6)
compiler-design10
performance-optimization9
code-generation9
interoperability8
unit-testing7
vector7
Programming languages (6)
Github contributions (5)
enso-org/enso
Oct 2022 - Jan 2023
Enso Analytics is a self-service data prep and analysis platform designed for data teams.
Role in this project:
Back-end Developer & Compiler Engineer
Back-end Developer & Compiler EngineerContributions:1470 reviews, 21 commits, 287 PRs in 3 months
Contributions summary:Pavel's commits primarily focused on enhancing the Enso compiler by implementing a `Period` type and handling inconsistencies in method resolution for builtin types. They refactored code related to time and date handling and also made performance improvements to existing components such as the equals and sort functions. Their work demonstrates a deep understanding of Enso's internal workings, including code generation, compiler passes, and interop.
polyglotjitfunctional-programminglanguage-designrts
Akirathan/parallel_programming
Mar 2019 - Jun 2019
Contributions:42 pushes, 8 branches in 3 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.