Registered user since Mon 27 Feb 2017
Name: Iavor Diatchki
Affiliation: Galois, Inc.
Personal website: https://galois.com/team/iavor-diatchki/
|ICFP 2019||Author of Dependently Typed Haskell in Industry (Experience Report) within the Research Papers-track|
Author of Verifying Imperative Programs with SAW within the Tutorials-track
|Show activities from other conferences|
Using general profile