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
SPLASH 2022 profile
SPLASH 2023 profile
‹Programming› 2021 profile
Registered user since Wed 21 Aug 2019
Name:
Hanneli Tavante
Affiliation:
Unaffiliated
Personal website:
http://www.hannelita.com
Contributions
2023
SPLASH
Student Volunteer Co-Chair in Organizing Committee
Student Volunteer Co-Chair in Organizers within the Volunteers-track
PLDI
Volunteers Co-Chair in Organizing Committee
Student Volunteer Co-Chair in Volunteering Committee within the Volunteering-track
2022
SPLASH
Remote Student Volunteer in Organizers within the Student Volunteers-track
PLDI
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
2021
HATRA
Author of Towards an Incremental Dataset of Proofs within the HATRA 2021-track
ICFP
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
Author of A Data-centered User Study for jsCoq (short talk) within the ML 2021-track
‹Programming›
Student Volunteer in Student Volunteers within the Student Volunteers-track
POPL
Committee Member in Student Volunteers Committee within the Student Volunteers-track
Student Volunteer Co-Chair in Organizing Committee
2020
ICFP
Student Volunteer Co-Chair in Organizing Committee
Student Volunteer Co-Chair in Student Volunteers Committee within the Student Volunteering-track
POPL
Student Volunteer Co-Chair in Student Volunteers Committee within the Student Volunteers-track
Student Volunteer Co-Chair in Organizing Committee
Share
x
Thu 21 Nov 12:10
