Michal Terepeta
Staff Software Engineer at Google
Switzerland
Summary
👤
Senior🎓
Top SchoolMichal Terepeta is a Staff Software Engineer at Google with 16 years of experience building high-performance back-end systems, compilers, and distributed tools. He combines deep academic training (PhD-level work in formal verification and static analysis) with practical production experience across language runtimes and build systems, contributing to projects like rust-analyzer and the Dart SDK. His open-source work includes performance engineering for rust-analyzer and proposal authorship for GHC, showing both low-level profiling expertise and language-design insight. Based in Switzerland, he is equally comfortable reducing salsa contention in a Rust IDE backend as specifying calling conventions for a Haskell compiler, reflecting a rare mix of systems optimization and compiler internals.
16 years of coding experience
2 years of employment as a software developer
Master of Science (MS), Computer Science, Master of Science (MS), Computer Science at Technical University of LodzMaster of Science (MS), Computer Science and Engineering, Master of Science (MS), Computer Science and Engineering at Technical University of Denmark
Polish, English, German
Stackoverflow
66reputation
849reached
1answer
0questions
Github Skills (21)
programming-language10
internals10
lang10
compiler-design10
sdk10
performance-optimization10
bazel10
vms10
profiling10
ghc10
functional-programming10
rust10
dart10
haskell10
data-structure9
Programming languages (10)
Github contributions (5)
dart-lang/sdk
Aug 2020 - Dec 2021
The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.
Role in this project:
Back-end Developer & DevOps Engineer
Back-end Developer & DevOps EngineerContributions:23 commits, 7 comments, 5 issues in 1 year 4 months
Contributions summary:Michal contributed to the Dart SDK, with changes related to file system watchers, build processes, and the VM. They fixed and implemented features in core libraries and the VM, including stack unwinding and improvements to the Bazel build integration. The user also addressed issues related to the build process, including reverting changes that caused build breakages and optimizing the integration with Bazel-generated files.
dartsdkdart2jscore-librariesflutter
ghc/ghc
Oct 2010 - Apr 2019
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Role in this project:Back-end Developer
Back-end DeveloperContributions:66 commits in 8 years 7 months
Contributions summary:Michal primarily focused on fixing whitespace and layout issues within the Haskell source files, specifically in the `PrelRules.lhs` and `RnNames.lhs` files. They optimized comparisons against min/maxBound to enhance performance and improve error messages. Additionally, the user addressed duplicate export warnings and made corrections to comments, contributing to code quality and maintainability.
ghcget-startednewcomershaskellcabal
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.