David Kaloper-Meršinjak - ICFP 2018

Write a Blog >>

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

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

2018

ICFP

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

Show activities from other conferences

ICFP 2018-profile
View general profile

	
		OSZAR »