- Cardano SL Developer Team Plutus Manager
Darryl is a type theorist and functional programmer who occasionally dabbles in AI and linguistic theory. She’s an advocate of using formal methods, especially dependent types and novel type systems, for building provably correct software. She has implemented a number of pure functional programming languages, including ones with temporal logic quasiquotation and delimited continuations. She also advocates for good documentation of software, especially literate documentation where possible.
234D FD97 2BFA 0176 E143 5703 EB2D 20A8 8FC5 DD86