Joris Dral

Joris holds an MSc degree in Computing Science from Utrecht University. His interest in compiler technology and functional programming with Haskell began early in his bachelor’s program, and was further developed during the Programming Technology track of his master’s program. Proof assistants, formal verification and dependently typed languages are some of his more recent interests. His master’s thesis, named “Verified Compiler Optimisations (for the Plutus Tx Compiler)”, shows how the Coq Proof Assistant and rigorous mathematical methods can be used to prove that compiler translations/optimisations preserve the semantics of functional smart contracts.