• Sign in
  • Sign up
conf.researchr.org / Tobias Nipkow
  • ESOP 2015 profile
  • POPL 2016 profile
  • POPL 2018 profile
  • POPL 2020 profile
  • POPL 2021 profile
Tobias Nipkow

Registered user since Fri 29 May 2015

Name: Tobias Nipkow

Affiliation: Technische Universität München

Contributions

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

Share
xTue 9 Mar 03:02
using conf.researchr.org (v1.43.2)
Support page
Sign Up