Iavor Diatchki -

Registered user since Mon 27 Feb 2017

Name: Iavor Diatchki

Affiliation: Galois, Inc.

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

Contributions

PADL 2020	Committee Member in Program Committee within the PADL 2020-track
Haskell 2018	Session Chair of Session 4 (part of Haskell 2018)
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
Haskell 2017	Chair in Program Committee within the Haskell 2017-track
Haskell 2016	Session Chair of Web Technology (part of Haskell) Committee Member in Program Committee within the Haskell-track
ICFP 2016	Video Chair in Organizing Committee
PEPM 2016	Committee Member in Program Committee within the PEPM-track