POPL 2021
Sun 17 - Fri 22 January 2021 Copenhagen, Denmark
Jasmin Blanchette

Registered user since Tue 21 Mar 2017

Name: Jasmin Blanchette

Country: Netherlands

Affiliation: Vrije Universiteit Amsterdam

Personal website: http://www.cs.vu.nl/~jbe248/

Research interests: Theorem Proving

Contributions

CPP 2021Steering Committee Member in Steering Committee within the CPP 2021-track
Show activities from other conferences

Using general profile