John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Matthew Brecknell
mbrcknl
Working on the formal verification of the @seL4 microkernel.
@seL4 @Kry10-NZ Sydney, Australia