• Sign in
  • Sign up
conf.researchr.org / Iavor Diatchki
  • ICFP 2016 profile
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • POPL 2016 profile
  • POPL 2020 profile
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

Share
xThu 15 Apr 03:12
using conf.researchr.org (v1.44.3)
Support page
Sign Up