My name is Adrian and I'm doing my Bachelor's degree at Saarland University. I became generally interested in functional programming which naturally lead to Type Theory and me writing my Bachelor's thesis at the Programming Systems Lab.
| Summer 2020 | Student TA Cryptography, Core Course, Saarland University. |
| Mail: | s8addapp@stud.uni-saarland.de |