Afonso Rafael
Compiler Engineer at Barcelona Supercomputing Center
Barcelona, Catalonia, Spain
Summary
👤
Senior🎓
Top SchoolAfonso Rafael is a compiler engineer based in Barcelona with eight years of experience building compilers, toolchains for HPC, and language-focused tooling. He combines hands-on compiler development and formal methods expertise with practical experience in functional languages—evidenced by contributions to Liquid Haskell—while maintaining a strong Linux-first workflow. His background spans research and applied roles at institutions like IMDEA and the Barcelona Supercomputing Center, plus pragmatic product work from frontend to backend. Collected academic training in computer science and geospatial engineering gives him a unique edge when solving complex systems problems that bridge theory and real-world data. He’s the sort of engineer who starts many side projects, which fuels continuous learning even when not all make it to completion.
8 years of coding experience
1 year of employment as a software developer
Ensino , Ensino at Colégio de São TomásMestrado Informática, Mestrado Informática at Faculdade de Ciências da Universidade de Lisboa
Github Skills (4)
haskell10
verification10
refinement-types10
smt9
Programming languages (10)
Github contributions (5)
ucsd-progsys/liquidhaskell
Oct 2022 - Oct 2022
Liquid Types For Haskell
Role in this project:
Backend Developer
Backend DeveloperContributions:6 commits, 2 PRs in 5 days
Contributions summary:Afonso primarily focused on refactoring and modifying existing code related to the `Liquid Types For Haskell` project. The commits involve moving tests to a "todo" directory, removing references to `RAllP` (likely related to refinement type checking), and adjusting code within the `Constraint/Relational.hs` file. Further contributions include modifications to `Filter.hs` and `MapTest.hs` files, demonstrating involvement in testing and relational aspects of the code base.
smthaskellliquidrefinement-typesverification
Alf0nso/alf0nso.github.io
Aug 2021 - Mar 2025
Contributions:126 pushes, 1 branch in 3 years 8 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.