John Wiegley

Registered user since Sun 20 May 2018

Name:John Wiegley

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
Personal website:
Research interests:Formal Methods, Software Modeling and Verification, Compilers, PL, Category Theory


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