Luca Witt

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

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

← Back