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 (26)
tla10
hardware9
verification9
imperative8
hackage8
uvm7
vhdl7
embedding6
code-generation6
haskell5
pytorch4
machine-learning4
deep-learning4
modeling4
abstract3
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/hardware-edsl
Aug 2015 - Jun 2021
Contributions:486 commits, 308 pushes, 6 branches in 5 years 10 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.