Paolo Giarrusso
Formal Methods Engineer at BlueRock.io
Berlin, Germany
Summary
🤩
Rockstar🎓
Top SchoolPaolo Giarrusso is a Formal Methods Engineer with 16 years of experience bridging programming-language research and production-grade systems, currently working at Bedrock/BlueRock in Berlin. His background spans Linux kernel contributions and systems work to mechanized proofs in Coq and advanced functional programming in Scala and Haskell, with peer-reviewed research including ICFP and POPL publications. He has led practical PL engineering projects—incremental computation, embedded DSL optimizers, and compiler fixes for Scala/Scala3—while co-maintaining open-source tooling like sbt and contributing documentation improvements to the Rocq prover. Paolo combines rigorous formal methods (type-soundness proofs, logical relations) with hands-on engineering—evaluating all x86 variants of the Linux kernel via TypeChef and shipping optimizer/tooling artifacts accepted by PLDI. Known for clear technical writing and artifact-friendly research, he is equally comfortable proving λ-calculus theorems and debugging low-level C in complex codebases.
15 years of coding experience
8 years of employment as a software developer
Graduate courses Computer Science, Graduate courses Computer Science at Aarhus UniversityPhD Computer Science, PhD Computer Science at University of TübingenMaster diploma Computer Science, Master diploma Computer Science at Scuola Superiore di CataniaBSc degree; Msc degree Computer Science, BSc degree; Msc degree Computer Science at Università di Catania
English, German, Italian
Stackoverflow
6,468reputation
672kreached
121answers
6questions
cpu-architecture
top-5%
scala
top-5%
atomic
top-5%
parsing
top-5%
boost
top-5%
Github Skills (47)
debug10
proof-assistant10
lib10
package-management10
sphinx10
compiler-development10
testing10
sbt10
java10
scala10
javas10
scalajs10
coq10
android10
scala-compiler10
Programming languages (36)
Github contributions (5)
scala/scala
Aug 2012 - Feb 2018
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
Role in this project:
Back-end Developer & Compiler Engineer
Back-end Developer & Compiler EngineerContributions:31 commits, 2 PRs, 60 comments in 5 years 6 months
Contributions summary:Paolo's contributions focused on improving the Scala 2 compiler and standard library, as evidenced by the repository's description and commit messages. They addressed source compatibility issues by restoring implicit conversions, fixed bugs related to stream processing, and removed commented-out code. Further contributions included adding and improving test cases to ensure code correctness. These changes involved modifying core Scala libraries, demonstrating a deep understanding of the language and its compiler.
functional-programmingobject-oriented-programmingscala-libraryscala-programming-languagestandard-library
commercialhaskell/stack
Jul 2016 - Jul 2018
The Haskell Tool Stack
Role in this project:Backend Developer
Backend DeveloperContributions:86 commits, 50 PRs, 81 pushes in 2 years
Contributions summary:Paolo primarily contributed to the `Stack` project, a Haskell tool for building and managing Haskell projects. Their work focused on refactoring and enhancing the `Stack.Fetch.hs` module, which handles package fetching and unpacking. They introduced improvements to the `untar` function, including addressing issues with unexpected entries and file permissions. Furthermore, they made changes to improve code maintainability and unit testability.
haskellservant
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.