Gabor Greif
Engenheiro De Software Sênior at Caffeine
Erlangen, Bavaria, Germany
Summary
🤩
RockstarGabor Greif is a senior software engineer based in Erlangen with 26 years of experience building robust back-end systems across telecom and WebAssembly ecosystems. He has held long-term engineering roles at DFINITY and Nokia and recently joined Caffeine, bringing deep expertise in low-level optimization, debugging, and compiler internals. An active open-source contributor, Gabor has improved the Glasgow Haskell Compiler, added DWARF-5 debugging support to Wasmtime, and cleaned up networking and LLVM test-suite code—work that reflects a focus on correctness, readability, and maintainability. Comfortable navigating C/C++ and Haskell codebases, he combines practical production engineering with careful refactoring of legacy toolchains and build-time abstractions. Colleagues rely on him for subtle, behind-the-scenes improvements that reduce technical debt and make complex systems easier to evolve.
26 years of coding experience
18 years of employment as a software developer
Github Skills (42)
debugging10
verilog10
debug10
maintenance10
c-language10
systemverilog10
compiler-errors10
dwarf10
llvm10
rust-wasm10
software-quality10
socket10
compiler-design10
wasmer10
warnings10
Programming languages (31)
Github contributions (5)
ghc/ghc
Jan 2012 - Jul 2020
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
Back-end DeveloperContributions:561 commits, 17 PRs, 15 comments in 8 years 7 months
Contributions summary:Gabor's contributions focused on low-level optimizations and refactoring within the Glasgow Haskell Compiler (GHC). Their work involved abstracting away build-toolchain-dependent operators like `sizeof`, replacing them with GHC-idiomatic types, and removing legacy cleanup processes. The changes include adjustments to internal data structures, and macros, enhancing the compiler's architecture.
ghcget-startednewcomershaskellcabal
clash-lang/clash-compiler
Apr 2014 - Apr 2018
Haskell to VHDL/Verilog/SystemVerilog compiler
Role in this project:Technical Writer
Technical WriterContributions:61 commits, 14 PRs, 70 comments in 4 years 1 month
Contributions summary:Gabor primarily focused on documentation and code style improvements within the repository. Their commits corrected typos, improved grammar, and clarified explanations in the documentation and code comments. They also made minor adjustments to the code, such as simplifying doctests and ensuring correct output formatting. Their work improved the readability and clarity of the project's documentation.
uvmasicvhdlsystemveriloghaskell
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.