John Wiegley

Registered user since Sun 20 May 2018

Name: John Wiegley

Bio: John Wiegley is principal engineer at DFINITY, where he uses Rust, Nix and Haskell to build the next generation of distributed compute infrastructure. His other interests include Emacs, Category Theory, Coq and mathematics. He is the author of the Ledger, started the plaintext accounting movement, and in his spare now works on software using Haskell for trade journaling.

Country: United States

Affiliation: DFINITY

Personal website:

Research interests: Formal Methods, Software Modeling and Verification, Compilers, PL, Category Theory


ICFP 2020Committee Member in External Review Committee within the ICFP Program-track
Haskell 2019Committee Member in Program Committee within the Haskell 2019-track
ICFP 2018Author of Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report) within the Research Papers-track
Haskell 2017Author of Using Coq to Write Fast and Correct Haskell within the Haskell 2017-track