Andreas Abel
Senior Lecturer at University of Gothenburg
Gothenburg, Sweden
Summary
🤩
Rockstar🎓
Top SchoolAndreas Abel is a Senior Lecturer in Gothenburg with 19 years of experience at the intersection of programming language technology and formal methods. He teaches and develops tools like Agda while contributing substantively to major Haskell infrastructure projects—GHC, Cabal, Hackage and the Haskell GitHub API—focused on backend robustness, migrations and documentation. His contributions range from fixing subtle compiler and build-system issues to improving library compatibility and test tooling, reflecting deep practical knowledge of language toolchains. Andreas has an academic pedigree spanning Munich, CMU, INRIA and Paris, and he has led working groups that bridge research and community standards. Notably, his open-source work often targets behind-the-scenes maintenance and migration tasks that keep large ecosystems healthy, a skillset prized but rarely visible. Based in Sweden, he combines rigorous research experience with steady, detail-oriented engineering of core language infrastructure.
19 years of coding experience
9 years of employment as a software developer
Ludwig Maximilian University of Munich
Stackoverflow
310reputation
7kreached
11answers
3questions
Github Skills (33)
markdown10
restructuredtext10
formal-methods10
agda10
rs10
build-system10
user-guide10
code-generation10
markdown-it10
github-api10
parser-generator10
cabal10
rest-api10
type-theory10
haskell10
Programming languages (31)
Github contributions (5)
BNFC/bnfc
Sep 2014 - Jan 2023
BNF Converter
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 releases, 30 reviews, 861 commits in 8 years 5 months
Contributions summary:Andreas's commits primarily focused on improving the Haskell backends of the BNF Converter. They addressed issues related to code generation, specifically removing trailing whitespace and ensuring the correct inclusion of type signatures. Additionally, the user made contributions to the printer components, including enhancements to handle list printing and character string handling, while maintaining backward compatibility.
bnfbnfcparser-generatorabstract-syntax-treepretty-print
haskell/hackage-server
Feb 2022 - Dec 2022
Hackage-Server: A Haskell Package Repository
Role in this project:Back-end Developer
Back-end DeveloperContributions:70 reviews, 57 commits, 75 PRs in 10 months
Contributions summary:Andreas primarily contributed to the Hackage-Server's back-end functionality by addressing unused imports, fixing markdown rendering issues related to commonmark and tables, and restoring a Haddock module header. They also made cabal file updates, removing extra parentheses, removing deprecated methods, and vendoring ListT. Furthermore, the user was involved in GHC 9.0 and Cabal 3.4 migration, rearranging code and addressing dependency issues.
hackagehaskellpackage-repositorycabal
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.