Biography
Hi! I’m Leon, and I am currently studying computer science at the University of Erlangen-Nuremberg. At the moment I am interested in the semantics of programming languages and the mathematical field of category theory as a suitable framework.
Interests
- Programming Languages
- Functional Programming
- Proof Assistants
- Type Theories
Education
-
BSc in Computer Science, 2024
University of Erlangen-Nuremberg
Skills
Technical
Agda
Coq
Haskell
Nix
Hobbies
Video Games
Cooking
Cycling
Experience
Peer Tutor
Teaching students the basics of logic in computer science (“Grundlagen der Logik in der Informatik”) and the basics of functional programming languages (“Theorie der Programmierung”).
Midlands Graduate School 2024
Attending the midlands graduate school on the Mathematical Foundations of Computing Science.
Student Research Assistant
Formalizing results of recent research in the proof assistant Agda.
Projects
*
Contact
You can reach me by mail or via Discord.