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 (14)
ternary9
indexed8
datatypes7
enumeration5
agda5
apl4
semantics4
janus3
haskell2
interpreter2
programming-language2
compiler1
language-design1
composable1
Programming languages (3)
Github contributions (5)
casvdrest/composable-semantics
Oct 2021 - Nov 2022
Contributions:15 commits, 5 pushes, 1 comment in 1 year
casvdrest/enumerator.agda
Jul 2020 - Jan 2021
Contributions:31 commits, 5 pushes, 1 branch in 5 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.