Write a Blog >>

Registered user since Fri 15 May 2015

Name: Joseph Tassarotti

Affiliation: Boston College

Contributions

CoqPL 2020Committee Member in Program Committee within the CoqPL-track
Show activities from other conferences

Using general profile