Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Iavor Diatchki
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2019 profile
ICFP 2022 profile
ICFP 2023 profile
POPL 2016 profile
POPL 2020 profile
Registered user since Mon 27 Feb 2017
Name:
Iavor Diatchki
Affiliation:
Galois, Inc.
Personal website:
https://galois.com/team/iavor-diatchki/
Contributions
2023
HIW
Session Chair of HIW: Session 3 (part of HIW 2023)
2022
Haskell
Committee Member in Program Committee within the Haskell 2022-track
2020
Symposium on Practical Aspects of Declarative Languages
Committee Member in Program Committee within the PADL 2020-track
2019
ICFP
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
2018
Haskell
Session Chair of Session 4 (part of Haskell 2018)
2017
Haskell
Chair in Program Committee within the Haskell 2017-track
2016
ICFP
Video Chair in Organizing Committee
Haskell
Session Chair of Web Technology (part of Haskell)
Committee Member in Program Committee within the Haskell-track
PEPM
Committee Member in Program Committee within the PEPM-track
Share
x
Thu 28 Sep 18:49
