Maximilian Algehed
Co-Founder at Quviq
Gothenburg, Sweden
Summary
👤
Senior🎓
Top SchoolMaximilian Algehed is a software engineer and co-founder with 11 years of experience bridging theoretical computer science and practical systems engineering. With a PhD from Chalmers focused on preventing leakage of sensitive information in programs, he combines formal rigor with hands-on development in industrial control, automation, and backend systems. He contributes to the Plutus smart contract ecosystem—adding secret types and sealed-bid auction examples—demonstrating applied expertise in secure, domain-specific languages. As a QuickCheck developer at Quviq and co-founder of Sinusoidal Systems, he pairs property-based testing and automation to build reliable, verifiable software. Based in Gothenburg, he’s pursuing industrial roles where cutting-edge theory meets pragmatic engineering to deliver measurable value.
11 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Chalmers University of Technology
Github Skills (5)
smart-contracts10
programming-language10
plutus10
haskell10
blockchain10
Programming languages (7)
Github contributions (5)
IntersectMBO/plutus
Sep 2021 - May 2022
The Plutus language implementation and tools
Role in this project:
Back-end Developer
Back-end DeveloperContributions:157 reviews, 23 commits, 10 PRs in 7 months
Contributions summary:Maximilian primarily worked on implementing and modifying the Plutus smart contract language and its associated tools. Their contributions included adding secret types, secret arguments, and examples showcasing their use within the sealed bid auction, GameStateMachine, and other use cases. They also addressed build errors, fixed formatting issues, and updated tutorials. The commits indicate a focus on extending Plutus functionalities and refining existing contract examples within the Plutus ecosystem.
programming-languageblockchainsmart-contractsplutus
MaximilianAlgehed/SpecCheck
Oct 2016 - Feb 2017
Contributions:107 commits, 93 pushes, 2 branches in 4 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.