José Lopez - Software Engineer at Meta

José Lopez

Software Engineer at Meta

Dénia, Valencian Community, Spain

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

José Lopez is a software engineer with 20 years of experience, currently working on Glean at Meta and specialising in robust back-end systems and functional programming. He has led Haskell teams in finance—building cross-asset pricing and concurrent streaming platforms—and previously managed Blade Computing services at Standard Chartered. His open-source pedigree includes contributions to high-profile Haskell projects like GHC, Cabal, Shake, and HLint, where he improved build robustness, Windows/filepath compatibility, and compiler tooling. He pairs deep academic roots—a PhD-era focus on formal methods and SAT/SMT-based termination tools—with pragmatic production engineering. Based in Dénia, Spain, José brings rare expertise bridging language/tooling development and large-scale, low-latency financial systems. Colleagues value him for cleaning up tricky edge cases and quietly improving reliability across compilers and build systems.

20 years of coding experience

10 years of employment as a software developer

Telecommunications, Telecommunications at KTH Royal Institute of Technology

PhD, Computer Science, PhD, Computer Science at Universidad Politécnica de Valencia

Stackoverflow

Stats

88reputation

2kreached

1answer

1question

Github Skills (32)

debug10

back-end-development10

windows10

build-system10

compatibility10

compiler-design10

filepath10

exception-handling10

computer-engineering10

ghc10

file-handling10

cabal10

functional-programming10

haskell10

package-management9

Programming languages (17)

JavaC++HackRustCTeXScalaHTML

Github contributions (5)

ghc/ghc

Jul 2006 - Nov 2021

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

Contributions:292 commits in 15 years 6 months

Contributions summary:José primarily contributed to the Glasgow Haskell Compiler (GHC) project by fixing bugs related to the `:history` command and its interaction with the compiler's internal data structures. They addressed issues within the coverage desugaring phase, ensuring correct behavior for top-level functions. Furthermore, the user made changes to module environment management and interface file generation to enhance build performance. The changes involved modifications across several key files within the GHC codebase.

ghcget-startednewcomershaskellcabal

ndmitchell/shake

Dec 2011 - Jun 2021

Shake build system

Role in this project:

Back-end Developer

Contributions:2 reviews, 21 commits, 15 PRs in 9 years 7 months

Contributions summary:José primarily focused on enhancing the `Shake` build system, addressing issues related to file path handling and exception management. They implemented features such as using native file separators for improved compatibility, handling exceptions within shared history operations, and fixing various bugs. Their contributions also involved code refactoring and optimization to improve the overall robustness and reliability of the build system.

hackageshakehaskellbuild-system

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.

Request Free Trial