Registered user since Wed 6 Jun 2018

Name: David Kaloper-Meršinjak

Country: United Kingdom

Affiliation: University of Cambridge

Personal website: https://www.cl.cam.ac.uk/~dk505

Research interests: Functional programming, Cryptography, Verification

Contributions

ICFP 2018Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
OCaml 2016Author of OCaml inside: a drop-in replacement for libtls within the OCaml-track
TyDe 2016Author of Generic partially-static data within the TyDe-track