Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
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: http://newartisans.com

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

Contributions

ICFP 2020Committee Member in External Review Committee within the ICFP Program-track
Show activities from other conferences

ICFP 2020-profile
View general profile