Hanneli Tavante -

Registered user since Wed 21 Aug 2019

Name:Hanneli Tavante

Affiliation:McGill University

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

Contributions

SPLASH 2023	Student Volunteer Co-Chair in Organizing Committee Student Volunteer Co-Chair in Organizers within the Student Volunteers-track
PLDI 2023	Volunteers Co-Chair in Organizing Committee Student Volunteer Co-Chair in Volunteering Committee within the Volunteering-track
SPLASH 2022	Remote Student Volunteer in Organizers within the Student Volunteers-track
PLDI 2022	Student Volunteer Co-Chair in Student Volunteers Committee within the Student Volunteering-track Student Volunteer Co-Chair in Organizing Committee Virtualization Chair in Organizing Committee
HATRA 2021	Author of Towards an Incremental Dataset of Proofs within the HATRA 2021-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
ML 2021	Author of A Data-centered User Study for jsCoq (short talk) within the ML 2021-track
‹Programming› 2021	Student Volunteer in Student Volunteers within the Student Volunteers-track
POPL 2021	Committee Member in Student Volunteers Committee within the Student Volunteers-track Student Volunteer Co-Chair in Organizing 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