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 |