Facundo Domínguez
Senior Principal at Modus Create
Montevideo, Montevideo, Uruguay
Summary
🤩
Rockstar🎓
Top SchoolFacundo Domínguez is a Senior Principal software engineer with 14 years of experience specializing in compilers, functional programming, formal verification, and distributed systems. With an MSc in program transformation techniques and a long tenure at Tweag and Modus Create, he designs language extensions for GHC, integrates Haskell with other ecosystems, and advocates for Liquid Haskell in both tooling and research. His open-source work includes technical writing for ghc-proposals and substantive contributions to GHC, Cloud Haskell, and LiquidHaskell—ranging from compiler flags and static pointers to reliability fixes in messaging primitives. He combines research-grade formal methods with pragmatic engineering, from build infrastructure (Nix, Bazel) to smart contract audits and mentoring. Based in Montevideo, Uruguay, he also serves on program committees for major functional programming venues, bridging academic rigor and production-ready systems.
14 years of coding experience
17 years of employment as a software developer
Master's Degree, Formal methods, Master of Science, Master's Degree, Formal methods, Master of Science at Universidad de la República
Github Skills (22)
nix10
refinement-types10
technical-writing10
distributed-systems10
automation10
message-passing10
compiler10
automations10
haskell10
concurrency10
documentation10
build-system9
verification9
build-automation9
language-design9
Programming languages (15)
Github contributions (5)
haskell-distributed/distributed-process
Apr 2014 - Nov 2018
Cloud Haskell core libraries
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 review, 176 commits, 62 PRs in 4 years 8 months
Contributions summary:Facundo contributed significantly to the core libraries of Cloud Haskell, a distributed systems project written in Haskell. Their work included implementing and modifying core messaging primitives such as `usend`, `uforward` and ensuring message reliability and preventing message loss. They also addressed build issues and version compatibility problems with dependencies, specifically containers and deepseq, targeting GHC versions. Furthermore, the user worked on fixing race conditions and improving performance.
cloud-haskellhaskellcore-librarydistributed-systemsservant
ucsd-progsys/liquidhaskell
Jun 2021 - Jan 2023
Liquid Types For Haskell
Role in this project:Backend Developer & Automation Engineer
Backend Developer & Automation EngineerContributions:11 releases, 279 reviews, 227 commits in 1 year 7 months
Contributions summary:Facundo primarily focused on enhancing the build process and environment configuration for the LiquidHaskell project. They introduced and modified Nix configurations, including the addition of dependencies and hostname configurations for testing purposes. They also implemented flags and made adjustments to the build process within the project's cabal configuration. Furthermore, the user addressed various code formatting and test-related issues within the Haskell source files.
smthaskellliquidrefinement-typesverification
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.