Thomas Powell - Mathematician and Computer Scientist
I am a researcher in the Institute of Logic and Computation at the TU Wien and I am a member of the Theory and Logic Group . Currently I am working in the project "On the Computational Interpretation of Intermediate Logics" with project manager Federico Aschieri .
From 2012 to 2017 I have studied maths at the Ludwig-Maximilians-Universität in Munich. From 2017 to 2021 I did my doctorate in mathematics at the Universities of Trento and Verona and since 2019 also at the Ludwig-Maximilians-Universität in Munich. My supervisors were Peter Schuster and Helmut Schwichtenberg .
From the 30th of May to the 3rd of June I will vised the meeting Proof and Computation 2022 at Schlehdorf monastery and give a talk about my current research on Multiplicative Linear Logic .
Thomas Powell - Mathematician and Computer Scientist