Daniel Gustafsson
Senior Software Engineer at Digital Asset
Sweden
Summary
👤
Senior🎓
Top SchoolDaniel Gustafsson is a Senior Software Engineer with 16 years of experience and a PhD in Computer Science focused on using type theory to verify receipt-freeness in voting protocols. He combines deep research expertise in dependent types and functional programming (Agda, Idris) with practical compiler and backend engineering, having implemented optimizations that leverage types to eliminate runtime checks. Daniel has shipped production software across fintech and distributed-systems firms including Digital Asset, Symbiont, and Pleo, bridging formal methods and real-world systems. Based in Sweden, he is passionate about using strong type systems to ensure correctness and performance—an approach he believes will materially reduce bugs like bounds errors in future software. Outside work he plays squash and enjoys cooking and baking with friends, reflecting a collaborative, hands-on temperament.
16 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at IT-Universitetet i KøbenhavnMaster's degree Computer Science, Master's degree Computer Science at Chalmers University of Technology
English, Swedish
Github Skills (47)
unix9
bug-tracker9
fsm-library9
browser9
director9
operating-system9
kernel9
type-theory8
hackage8
serenity8
state-machine8
theory8
abstraction8
metadata8
linux8
Programming languages (7)
Github contributions (5)
crypto-agda/protocols
Mar 2014 - Apr 2015
Contributions:57 commits, 22 pushes, 2 branches in 1 year 2 months
simedw/Kandidat
Feb 2010 - May 2010
Contributions:108 commits in 3 months
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.