José Lopez

Software Engineer at Meta

Dénia, Valencian Community, Spain
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Pepe Iborra is a London-based software engineer with 19 years of experience, specializing in functional programming and backend systems. He is an active contributor to the Haskell ecosystem, with notable work on Facebook’s Glean—optimizing the Haddock indexer, query code generation, array-prefix support and sharding configuration—and contributions to the Glasgow Haskell Compiler. Pepe’s work spans build tooling (Shake, Cabal), linting (HLint) and compiler internals, demonstrating a strong focus on performance, cross-platform compatibility and robust error handling. He pairs careful refactoring and documentation with practical fixes that improve developer tooling and large-scale code analysis. That blend of low-level compiler expertise and pragmatic backend engineering consistently makes complex systems easier to build and maintain.
code20 years of coding experience
job10 years of employment as a software developer
bookTelecommunications, Telecommunications at KTH Royal Institute of Technology
bookPhD, Computer Science, PhD, Computer Science at Universidad Politécnica de Valencia
stackoverflow-logo

Stackoverflow

Stats
88reputation
2kreached
1answer
1question
github-logo-circle

Github Skills (34)

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)

github-logo-circle
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:
userBack-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:
userBack-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
José Lopez - Software Engineer at Meta