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