Georgi Lyubenov
Senior Software Engineer at TripShot
Sofia, Sofia-City, Bulgaria
Summary
🤩
Rockstar🎓
Top SchoolGeorgi Lyubenov is a Senior Software Engineer based in Sofia with nine years of experience building robust backend systems, primarily in Haskell, and contributing to front-end admin tooling in Java/GWT. He has hands-on experience across transport domain problems—ETA and arrival detection using statistical methods, payments, and compliance—while also improving developer experience through CI/CD and automation. An active open-source contributor, Georgi has made substantive refactors and feature additions to prominent Haskell projects including the Glasgow Haskell Compiler and the polysemy library, demonstrating deep familiarity with compiler internals and functional abstractions. He also teaches functional programming and Agda at Sofia University, using code review to bridge academic learning with real-world engineering practices. Colleagues know him for turning dense type-level and compiler work into cleaner, more maintainable code and for spotting subtle refactors that improve long-term developer productivity.
9 years of coding experience
5 years of employment as a software developer
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at Sofia University St. Kliment Ohridski
Github Skills (15)
type-system10
functional-programming10
compiler-design10
refactoring10
code-analysis10
monads10
lib10
haskell10
testing9
data-structure9
data-structures9
algorithms8
computer-engineering8
version-control7
git7
Programming languages (26)
Github contributions (5)
polysemy-research/polysemy
May 2019 - Mar 2022
:gemini: higher-order, no-boilerplate monads
Role in this project:
Back-end Developer
Back-end DeveloperContributions:51 reviews, 45 commits, 34 PRs in 2 years 10 months
Contributions summary:Georgi primarily focused on refactoring and improving the core functionality of the `polysemy` library. Their contributions involved fixing typos, optimizing code, and removing unnecessary type bindings, contributing to a cleaner and more efficient codebase. The user introduced new features such as `runOutputAsList` and related tests, enhancing the library's capabilities. Additionally, they renamed and refactored the 'Lift' effect to 'Embed', updating the internal structure of the library and improving code clarity.
boilerplategeminimonadsno-boilerplatenodejs
ndmitchell/hlint
Jun 2019 - Jun 2021
Haskell source code suggestions
Role in this project:Back-end Developer
Back-end DeveloperContributions:16 reviews, 131 commits, 11 PRs in 1 year 11 months
Contributions summary:Georgi primarily contributed to improving the Haskell code suggestion tool, `hlint`. Their commits focused on enhancing the `Hint/NewType.hs` module, converting it to use `ghc-lib-parser`. They worked on implementing the logic to identify and suggest the use of `newtype` instead of `data` for specific declarations, including handling scenarios with deriving strategies. Furthermore, they addressed code style issues such as indentation and removing unnecessary pragmas and code.
hackagehaskellsuggestions
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.