Tobias Nipkow -

Registered user since Fri 29 May 2015

Name:Tobias Nipkow

Affiliation:Technische Universität München

Contributions

CPP 2023	Committee Member in Steering Committee within the CPP 2023-track Committee Member in Program Committee within the CPP 2023-track
CPP 2022	Committee Member in Steering Committee within the CPP 2022-track
CPP 2021	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
CPP 2020	Session Chair of Formalized mathematics 2 (part of CPP 2020) Author of Proof Pearl: Braun Trees within the CPP 2020-track
CPP 2018	Committee Member in Program Committee within the CPP 2018-track
POPL 2016	ERC member in External Reviewing Committee ERC member in External Reviewing Committee within the Research Papers-track
ESOP 2015	Author of A Verified Compiler for Probability Density Functions within the ESOP-track