Josef Svenningsson
Software Engineer at GitHub
Dacorum, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolJosef Svenningsson is a seasoned software engineer with 21 years of experience spanning academia and industry, currently building at GitHub after a long engineering tenure at Meta. He holds a PhD in Computer Science from Chalmers University of Technology and has moved between research and product engineering roles, from assistant professor and postdoc to system design and large-scale software delivery. Josef brings deep expertise in backend and distributed systems, evidenced by substantive contributions to the Haskell Haxl library where he improved parallel data access, synchronization, and testing robustness. Comfortable in both research-driven environments and fast-moving tech teams, he has repeatedly translated formal methods and protocol knowledge into production-quality systems. Based in Dacorum, England, he blends rigorous academic foundations with pragmatic engineering—an asset for teams tackling complex concurrency and remote-data integration challenges.
21 years of coding experience
13 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at Chalmers University of Technology
Github Skills (9)
transactional-memory10
stm10
parallel-computing10
haskell10
concurrency9
testing9
fetcher8
fetch8
fetchr8
Programming languages (17)
Github contributions (5)
facebook/Haxl
Oct 2019 - Mar 2022
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:3 reviews, 12 commits, 5 PRs in 2 years 5 months
Contributions summary:Josef primarily focused on enhancing the `Haxl` library, a Haskell library for accessing remote data. Their contributions include implementing features like symmetric shortcutting for `pAnd` and `pOr`, introducing the `biselect` combinator, and simplifying synchronization mechanisms within the library's core parallel processing functions. They also contributed to improving the robustness of the library, including providing more informative exceptions when STM transactions fail. Moreover, the user enhanced the testing suite and fixed issues related to the library.
databasedatabaseshaskell
josefs/Gradualizer
Oct 2017 - Dec 2022
A Gradual type system for Erlang
Contributions:31 reviews, 419 commits, 79 PRs in 5 years 2 months
erlangtype-systemtypesystem
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.