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 Language Semantics 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 90 agda custom name description percent icon icon_pack Haskell 80 haskell devicon name description percent icon icon_pack Coq 80 coq custom	icon icon_pack link envelope fas /#contact icon icon_pack link display github fab https://github.com/reijix header true	true

Leon Vatthauer is studying computer science at the University of Erlangen-Nuremberg. He is interested in modeling the semantics of programming languages by means of category theory.

{style="text-align: justify;"}