Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
ICFP 2019 (series) / Iavor Diatchki
Iavor Diatchki

Registered user since Mon 27 Feb 2017

Name: Iavor Diatchki

Affiliation: Galois, Inc.

Personal website: https://galois.com/team/iavor-diatchki/

Contributions

ICFP 2019Author 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