Hanneli Tavante -

Registered user since Wed 21 Aug 2019

Name:Hanneli Tavante

Affiliation:McGill University

Personal website:http://www.hannelita.com

Contributions

HATRA 2021	Author of Towards an Incremental Dataset of Proofs within the HATRA 2021-track
ML 2021	Author of A Data-centered User Study for jsCoq (short talk) within the ML 2021-track
POPL 2021	Committee Member in Student Volunteers Committee within the Student Volunteers-track Student Volunteer Co-Chair in Organizing Committee
‹Programming› 2021	Student Volunteer in Student Volunteers within the Student Volunteers-track
ICFP 2021	Student Volunteer Co-Chair in Organizing Committee Student Volunteer Co-Chair in Student Volunteers Committee within the Student Volunteers-track Session Chair of Ask Me Anything (part of Social Events) Committee Member in Virtualization Committee
ICFP 2020	Student Volunteer Co-Chair in Organizing Committee Student Volunteer Co-Chair in Student Volunteers Committee within the Student Volunteering-track
POPL 2020	Student Volunteer Co-Chair in Student Volunteers Committee within the Student Volunteers-track Student Volunteer Co-Chair in Organizing Committee