---
# Leave the homepage title empty to use the site title
title: ''
date: 2024-04-06
type: landing

sections:
  - block: about.biography
    id: about
    content:
      title: Biography
      # Choose a user profile to display (a folder name within `content/authors/`)
      username: admin
  - block: skills
    content:
      title: Skills
      text: ''
      # Choose a user to display skills from (a folder name within `content/authors/`)
      username: admin
    design:
      columns: '1'
  - block: experience
    content:
      title: Experience
      # Date format for experience
      #   Refer to https://docs.hugoblox.com/customization/#date-format
      date_format: Jan 2006
      # Experiences.
      #   Add/remove as many `experience` items below as you like.
      #   Required fields are `title`, `company`, and `date_start`.
      #   Leave `date_end` empty if it's your current employer.
      #   Begin multi-line descriptions with YAML's `|2-` multi-line prefix.
      items:
        - title: Peer Tutor
          company: University of Erlangen-Nuremberg
          company_url: 'https://www.fau.eu'
          company_logo: fau
          location: Erlangen, Germany
          date_start: '2022-10-01'
          date_end: '2023-03-31'
          description: |2-
              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: Midlands Graduate School 2024
          company: University of Leicester
          company_url: 'https://le.ac.uk/'
          company_logo: leicester
          location: Leicester, UK
          date_start: '2024-04-08'
          date_end: '2024-04-12'
          description: |2-
              Visiting the [midlands graduate school](https://www.cs.le.ac.uk/events/mgs2024/) on the Mathematical Foundations of Computing Science.
        - title: Student Research Assistant
          company: University of Erlangen-Nuremberg
          company_url: 'https://www.fau.eu'
          company_logo: fau
          location: Erlangen, Germany
          date_start: '2024-04-01'
          date_end: '2025-03-31'
          description: Formalizing results of recent research in the proof assistant Agda.
    design:
      columns: '2'
  - block: portfolio
    id: projects
    content:
      title: Projects
      filters:
        folders:
          - projects
      # Default filter index (e.g. 0 corresponds to the first `filter_button` instance below).
      default_button_index: 0
      # Filter toolbar (optional).
      # Add or remove as many filters (`filter_button` instances) as you like.
      # To show all items, set `tag` to "*".
      # To filter by a specific tag, set `tag` to an existing tag name.
      # To remove the toolbar, delete the entire `filter_button` block.
      buttons:
        - name: All
          tag: '*'
        - name: Category Theory
          tag: Category Theory
        - name: Agda
          tag: Agda
        - name: Haskell
          tag: Haskell
        - name: Programming Languages
          tag: Programming Languages
        - name: Nix
          tag: Nix
    design:
      # Choose how many columns the section has. Valid values: '1' or '2'.
      columns: '1'
      view: compact
  - block: contact
    id: contact
    content:
      title: Contact
      subtitle:
      text: |-
        You can reach me by mail or via Discord.
      # Contact (add or remove contact options as necessary)
      contact_links:
        - icon: envelope
          icon_pack: fas
          name: leon.vatthauer _at_ fau.de
          link: mailto:leon.vatthauer@fau.de
        - icon: discord
          icon_pack: fab
          name: Leon#4082
          link: 'https://discordapp.com/users/151796651139399680'
      # Automatically link email and phone or display as text?
      autolink: true
    design:
      columns: '2'
---