David Darais - ICFP 2019

Write a Blog >>

Sun 18 - Fri 23 August 2019 Berlin, Germany

Registered user since Thu 13 Nov 2014

Name:David Darais

Country:United States

Affiliation:University of Vermont

Personal website: http://david.darais.com

Research interests:Program Analysis, Mechanized Proofs

Contributions

2019

ICFP

Committee Member in Poster and Presentation Judges within the Student Research Competition-track
Committee Member in Program Committee within the Student Research Competition-track

TyDe

Show activities from other conferences

ICFP 2019-profile
View general profile