resumee-website/content/_index.md

title	date	type	sections
	2024-04-06	landing	block id content about.biography about title username Biography admin block content design skills title text username Skills admin columns 1 block content design experience title date_format items Experience Jan 2006 title company company_url company_logo location date_start date_end description Peer Tutor University of Erlangen-Nuremberg https://www.fau.eu fau Erlangen, Germany 2022-10-01 2023-03-31 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"). title company company_url company_logo location date_start date_end description Midlands Graduate School 2024 University of Leicester https://le.ac.uk/ leicester Leicester, UK 2024-04-08 2024-04-12 Visiting the [midlands graduate school](https://www.cs.le.ac.uk/events/mgs2024/) on the Mathematical Foundations of Computing Science. title company company_url company_logo location date_start date_end description Student Research Assistant University of Erlangen-Nuremberg https://www.fau.eu fau Erlangen, Germany 2024-04-01 2025-03-31 Formalizing results of recent research in the proof assistant Agda. columns 2 block id content design portfolio projects title filters default_button_index buttons Projects folders projects 0 name tag All * name tag Category Theory Category Theory name tag Agda Agda name tag Haskell Haskell name tag Programming Languages Programming Languages name tag Nix Nix columns view 1 compact block id content design contact contact title subtitle text contact_links autolink Contact You can reach me by mail or via Discord. icon icon_pack name link envelope fas leon.vatthauer _at_ fau.de mailto:leon.vatthauer@fau.de icon icon_pack name link discord fab Leon#4082 https://discordapp.com/users/151796651139399680 true columns 2