resumee-website/content/authors/admin/_index.md

title	first_name	last_name	status	superuser	role	organizations	bio	interests	education	skills	social	highlight_name
Leon Vatthauer	Leon	Vatthauer	icon 👽	true	Student	name url University of Erlangen-Nuremberg https://www.fau.eu/		Programming Languages Functional Programming Proof Assistants Type Theories	courses course institution year BSc in Computer Science University of Erlangen-Nuremberg 2024	name items Technical name description percent icon icon_pack Agda 100 agda custom name description percent icon icon_pack Coq 85 coq custom name description percent icon icon_pack Haskell 80 haskell custom name description percent icon icon_pack Nix 70 nix custom name color color_border items Hobbies #eeac02 #f0bf23 name description percent icon icon_pack Video Games 100 computer fas name description percent icon icon_pack Cooking 90 utensils fas name description percent icon icon_pack Cycling 80 person-biking fas	icon icon_pack link envelope fas mailto:leon.vatthauer@fau.de icon icon_pack link linkedin fab https://www.linkedin.com/in/leon-vatthauer-746743217/ icon icon_pack link display github fab https://github.com/reijix header true icon icon_pack link display git-alt fab https://git.vatthauer.xyz/explore/repos header true	true

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. {style="text-align: justify;"}