Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tobias Nipkow
conf.researchr.org general profile
ESOP 2015 profile
POPL 2016 profile
POPL 2018 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
POPL 2025 profile
Registered user since Fri 29 May 2015
Name:
Tobias Nipkow
Affiliation:
Technische Universität München
Contributions
2025
CPP
Committee Member in Steering Committee within the CPP 2025-track
2024
CPP
Steering Committee Member in Steering Committee within the CPP 2024-track
2023
CPP
Committee Member in Steering Committee within the CPP 2023-track
Committee Member in Program Committee within the CPP 2023-track
2022
CPP
Committee Member in Steering Committee within the CPP 2022-track
2021
CPP
Author of Invited Talk: Teaching Algorithms and Data Structures with a Proof Assistant within the CPP 2021-track
Steering Committee Member in Steering Committee within the CPP 2021-track
2020
CPP
Session Chair of Formalized mathematics 2 (part of CPP 2020)
Author of Proof Pearl: Braun Trees within the CPP 2020-track
2018
CPP
Committee Member in Program Committee within the CPP 2018-track
2016
POPL
ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track
2015
ESOP
Author of A Verified Compiler for Probability Density Functions within the ESOP-track
Share
x
Thu 21 Nov 11:48
