Pepe Hernández
Senior Software Engineer at GoodNotes
Madrid, Community of Madrid, Spain
Summary
👤
Senior🎓
Top SchoolPepe Hernández is a Senior Software Engineer based in Madrid with 12 years of experience building distributed systems and pragmatic functional solutions, primarily in Scala and Haskell. He blends deep interest in programming language theory with hands-on engineering—contributing meaningful instances and refactors to the popular Typelevel Cats library that improve functional abstractions and usability. Comfortable across Go, Python, Java and PHP, he pairs backend development with devops competencies, having managed Docker deployments and service discovery with Consul and CI pipelines using Travis, Jenkins and Drone. Pepe has shipped production microservices and migrations at companies from Packlink to Fidesmo, led teams as Technical Lead at 47 Degrees, and teaches as an Associate Professor at IE HST, showing a rare mix of craft, mentorship and academic grounding. Colleagues value his ability to translate theory into robust, maintainable systems while keeping an eye for practical performance and integration details.
12 years of coding experience
9 years of employment as a software developer
Specialist Technician in PHP and MySQL, PHP, MySQL, Specialist Technician in PHP and MySQL, PHP, MySQL at Universidad Católica de ÁvilaAndroid Developer, Android, Java, SQL, Android Developer, Android, Java, SQL at Universidad Camilo José CelaHigher Degree in Multiplatform Application Development, IT, Software Development, 8.8, Higher Degree in Multiplatform Application Development, IT, Software Development, 8.8 at Islas FilipinasTécnico en Explotación de Sistemas Informáticos, Informática, Técnico en Explotación de Sistemas Informáticos, Informática at Centro de Estudios Santa María del Castillo
English
Stackoverflow
33reputation
6kreached
2answers
1question
Github Skills (14)
functional-programming10
monads10
typeclass10
scala10
foldable9
traverse9
apply8
ordered7
spring-data6
elasticsearch6
chef-infra6
spring-data-elasticsearch6
github6
ruby6
Programming languages (19)
Github contributions (5)
typelevel/cats
Oct 2016 - Oct 2016
Lightweight, modular, and extensible library for functional programming.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:13 commits, 4 PRs, 15 comments in 20 days
Contributions summary:Pepe primarily contributed to the `cats` library by adding new instances and implementations for data structures related to functional programming. This included adding `Monad`, `Foldable`, `Traverse`, and `MonadCombine` instances for the `Prod` data type. Furthermore, they implemented `Show` and `Order` instances, enhancing the utility and functionality of the `Prod` type within the Cats ecosystem. They also addressed some missing implicit values and refactored the code to improve the organization and usability of the library.
functional-programmingtagless-finalscalamodularextensible
pepegar/courses-and-presentations
Apr 2020 - Apr 2024
Contributions:93 pushes, 4 branches in 4 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.