Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hanneli Tavante
conf.researchr.org general profile
ICFP 2020 profile
ICFP 2021 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2023 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
SPLASH 2021 profile
‹Programming› 2021 profile
Registered user since Wed 21 Aug 2019
Name:
Hanneli Tavante
Affiliation:
McGill University
Personal website:
http://www.hannelita.com
Contributions
PLDI 2023
Student Volunteer Co-Chair in Organizing Committee
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
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
Share
x
Wed 29 Jun 11:00