Andrej Dudenhefner -

Registered user since Mon 5 Nov 2018

Name:Andrej Dudenhefner

Affiliation:Technical University Dortmund

Contributions

Unsound 2022	Committee Member in Organizing Committee within the Sources of Unsoundness in Verification-track
POPL 2019	Author of Principality and Approximation under Dimensional Bound within the Research Papers-track
FSCD 2017	Author of The Complexity of Principal Inhabitation within the FSCD 2017-track
POPL 2017	Author of Intersection Type Calculi of Bounded Dimension within the POPL-track