Luca Witt

Luca Witt
Research Assistant
E-Mail: luca.witt@rub.de

I am interested in Programming Languages, Type Theory, Theorem Proving and Computational Complexity Theory.

← Back