Cas Van Der Rest
Formal Methods Engineer at Shielded Technologies
Randstad, Netherlands
Summary
👤
Senior🎓
Top SchoolCas Van Der Rest is a Formal Methods Engineer with 11 years of software experience, currently applying dependability-focused research and engineering at Shielded Technologies after a spell at IOHK. Trained with an MSc in Computing Science from Universiteit Utrecht and a PhD-level research background at TU Delft, he specializes in mechanized verification and proof development using Agda. His career blends academic rigor with practical engineering—earlier roles include full-stack development in C# and AngularJS—so he’s comfortable moving between proofs, prototypes, and production code. Based in the Randstad, he brings a rare combination of formal-methods depth and hands-on implementation experience, making complex systems both verifiable and buildable.
11 years of coding experience
2 years of employment as a software developer
Master of Science - MS, Computing Science, Master of Science - MS, Computing Science at Universiteit UtrechtGymnasium, Gymnasium at Marnix Gymnasium
English
Github Skills (11)
ternary9
datatypes7
agda6
apl5
typeclass4
haskell3
interpreter3
semantics3
programming-language2
language-design2
compiler1
Programming languages (4)
Github contributions (5)
casvdrest/enumerator.agda
Jul 2020 - Jan 2021
Contributions:31 commits, 5 pushes, 1 branch in 5 months
casvdrest/staged-effects.agda
Oct 2020 - Feb 2021
Contributions:43 commits, 23 pushes, 1 branch 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.