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