Georgi Krastev
Senior Software Engineer at MOIA
Berlin, Germany
Summary
🤩
Rockstar🎓
Top SchoolGeorgi Krastev is a Senior Software Engineer based in Berlin with 11 years of experience building scalable backend systems, particularly in Scala and functional stacks like ZIO, Cats and Cats-Effect. He has strong compiler and type-system expertise demonstrated by contributions to the Scala compiler and foundational libraries such as shapeless, ZIO, and cats, plus practical experience improving query engines at Apache DataFusion. At MOIA he designs and maintains microservices for payments and financial automation, driving observability and compliance while migrating and extending services across ZIO and Akka stacks. His background in distributed systems research and previous fintech work shows a blend of academic rigor and production-focused engineering. Outside work he pursues continual self-education and has an unusual creative side—origami and hiking—that reflects a methodical, detail-oriented mindset.
11 years of coding experience
4 years of employment as a software developer
Computer Science, Computer Science at Karlsruhe Institute of Technology (KIT)Bachelor of Science (B.Sc.), Software Engineering, Bachelor of Science (B.Sc.), Software Engineering at Sofia University St. Kliment OhridskiMaster of Science (M.Sc.), Distributed Systems and Services, Master of Science (M.Sc.), Distributed Systems and Services at Technische Universität Berlin
Bulgarian, German, English, Spanish
Stackoverflow
1,203reputation
15kreached
16answers
1question
Github Skills (50)
asynchronous10
type-inference10
lib10
cats-effect10
typeclass10
async10
macros10
generic-derivation10
http10
zio10
finagle10
finch10
scala10
fusion10
effects10
Programming languages (9)
Github contributions (5)
softwaremill/magnolia
Nov 2017 - Oct 2021
Easy, fast, transparent generic derivation of typeclass instances
Role in this project:
Back-end Developer
Back-end DeveloperContributions:12 reviews, 43 commits, 45 PRs in 3 years 10 months
Contributions summary:Georgi primarily contributed to the `magnolia` library, a Scala-based project focused on generic derivation of typeclass instances. Their work involved code simplification, fixing a typo, and adding support for repeated parameters. The user also added new tests, refactored code, and addressed issues related to compile-time stack management, showcasing a focus on improving the macro's functionality and stability.
type-safetyimplicit-searchtypeclassestypeclassgeneric-derivation
milessabin/shapeless
Apr 2017 - Oct 2022
Generic programming for Scala
Role in this project:Back-end Developer
Back-end DeveloperContributions:10 releases, 232 reviews, 453 commits in 5 years 6 months
Contributions summary:Georgi primarily contributed to the `shapeless` library by fixing and improving core functionalities related to generic programming and type-level programming in Scala. They addressed unsound cases in `appliedTypTree1` within the `generic.scala` file, resolving issues with the `Split1` type class. Further, they optimized code related to default instances and added support for Witness[this.type] within the singletons.scala. Moreover, the user fixed the issue with selector on the records to handle refined types.
functional-programminggenericscalalensestypelevel
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.