Alex Gerdes
Universitetslektor (senior Lecturer) at University of Gothenburg
Herrljunga, Västra Götaland County, Sweden
Summary
👤
Senior🎓
Top SchoolAlex Gerdes is a senior lecturer and researcher in computer science with 18 years of experience bridging academic research and industrial software engineering. Holding a PhD from Open Universiteit Nederland, he specializes in generic programming, Haskell, and software design, and has taught at Chalmers and the University of Gothenburg since 2014. His background includes hands-on roles at Quviq, ASTRON (contributing to LOFAR/SKADS), and Ericsson, giving him deep experience in scientific and distributed systems. He runs a long-standing interest in practical software solutions—having owned a small software firm—and brings that practitioner mindset into his research and teaching. Based in Sweden, Alex combines rigorous academic training with production-grade engineering sensibilities and a knack for making advanced type-driven techniques accessible to students and colleagues.
18 years of coding experience
12 years of employment as a software developer
MSc, Computer Science, MSc, Computer Science at Open UniversiteitBSc, Computer Science, BSc, Computer Science at Hogeschool DrentheDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Open Universiteit Nederland
Dutch, English, German, Swedish
Github Skills (28)
tlaplus10
tla10
agda10
language-design10
intelligent10
machine-learning9
ghc8
minizinc8
dsl8
stack7
constraint-programming6
functional-programming4
haskell4
data-structure3
data-structures3
Programming languages (9)
Github contributions (5)
alexgerdes/helium
Oct 2017 - Mar 2023
Contributions:9 pushes in 5 years 5 months
compilerprogramming-languageinterpreterhelium
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.