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 (the first course is called "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 University of Leicester https://le.ac.uk/ leicester Leicester, UK 2024-04-08 2024-04-12 Visiting a graduate school 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