Registered user since Wed 6 Jun 2018

Name: David Kaloper-Meršinjak

Country: United Kingdom

Affiliation: University of Cambridge

Personal website:

Research interests: Functional programming, Cryptography, Verification


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