Alejandro Londoño
Software Engineer at Modus Create
Gothenburg, Sweden
Summary
🤩
Rockstar🎓
Top SchoolAlejandro Londoño is a software engineer with 12 years of experience who combines a PhD in formal software verification with hands-on work improving usability, reliability, and performance of large codebases using Bazel. He has bridged research and industry as a proof engineer at CSIRO Data61, a PhD student at Chalmers, and in production roles at Zenseact and Modus Create, focusing on high-performance and large-scale build systems. Alejandro contributes to verified-compilation projects like CakeML, where he implemented and proved string-to-number conversions, showing deep expertise in theorem proving and verified software. Based in Gothenburg, he enjoys translating formal methods into practical tooling that scales in real-world engineering teams.
12 years of coding experience
4 years of employment as a software developer
Bachelor’s Degree, Computer Science, Bachelor’s Degree, Computer Science at Universidad EAFITDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Chalmers University of Technology
English, Spanish
Github Skills (7)
theorem-proving10
sml10
formal-verification10
programming-language9
formal-semantics9
compiler-compiler9
compiler9
Programming languages (8)
Github contributions (5)
CakeML/cakeml
Sep 2017 - Jun 2022
CakeML: A Verified Implementation of ML
Role in this project:
Back-end Developer & Theorem Prover
Back-end Developer & Theorem ProverContributions:339 commits, 12 PRs, 182 pushes in 4 years 9 months
Contributions summary:Alejandro contributed to the CakeML compiler project by translating string-to-number functionality and adding auxiliary lemmas. They implemented and verified functions for converting strings to numbers, including both safe and unsafe versions. The user also provided proofs and supporting lemmas within the theorem-proving framework, including proofs for the correctness of conversions.
smlverifiedtheorem-provingsatformal-verification
agomezl/st
May 2016 - Apr 2021
Contributions:4 pushes, 1 branch in 5 years
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.