Markus Aronsson
Senior Developer at Cadence Design Systems
Gothenburg, Sweden
Summary
👤
Senior🎓
Top SchoolMarkus Aronsson is a Senior Developer and PhD in Computer Science based in Gothenburg, Sweden, with 11 years of experience focused on functional programming, domain-specific languages, compilers, and formal verification. He bridges academic rigor and industry practice as a postdoctoral researcher at Chalmers and a senior developer at Cadence Design Systems, applying formal methods to real-world tooling. Known for deep expertise in language design and verification, he thrives on turning theoretical ideas into robust, maintainable compiler and DSL implementations. Markus’s profile reflects a rare combination of published research experience and hands-on engineering at scale, with a sustained commitment to advancing correctness in complex software systems.
11 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Chalmers University of Technology
Swedish, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (13)
hardware10
code-generation8
vhdl7
haskell5
modeling4
logic4
agda3
abstract3
linux3
graph3
linux-kernel3
fan-control3
dataflow2
Programming languages (3)
Github contributions (5)
markus-git/signals
Feb 2015 - Jun 2021
Contributions:224 commits, 80 pushes, 7 branches in 6 years 5 months
markus-git/co-feldspar
Aug 2016 - Aug 2021
raw-feldspar with software hardware co-design
Contributions:256 commits, 1 PR, 156 pushes in 5 years
hardware
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.