who: Eduardo Jorge | what: fp, formal methods, infosec | where: UMinho | how: Haskell, Rust, Idris, Coq | when: hopefully right now
