---
# Display name
title: Leon Vatthauer

# Full name (for SEO)
first_name: Leon
last_name: Vatthauer

# Status emoji
status:
  icon: 👽

# Is this the primary user of the site?
superuser: true

# Role/position/tagline
role: Student

# Organizations/Affiliations to show in About widget
organizations:
  - name: University of Erlangen-Nuremberg
    url: https://www.fau.eu/

# Short bio (displayed in user profile at end of posts)
# bio: My research interests include distributed robotics, mobile computing and programmable matter.
# TODO bio
bio: ''

# Interests to show in About widget
interests:
  - Programming Language Semantics
  - Functional Programming
  - Proof Assistants
  - Type Theories

# Education to show in About widget
education:
  courses:
    - course: BSc in Computer Science
      institution: University of Erlangen-Nuremberg
      year: 2024

# Skills
# For available icons, see: https://docs.hugoblox.com/getting-started/page-builder/#icons
skills:
  - name: Technical
    items:
      - name: Agda
        description: ''
        percent: 90
        icon: agda
        icon_pack: custom
      - name: Haskell
        description: ''
        percent: 80
        icon: haskell
        icon_pack: devicon
      - name: Coq
        description: ''
        percent: 80
        icon: coq
        icon_pack: custom
  - name: Hobbies
    color: '#eeac02'
    color_border: '#f0bf23'
    items:
      - name: Hiking
        description: ''
        percent: 60
        icon: person-hiking
        icon_pack: fas
      - name: Cats
        description: ''
        percent: 100
        icon: cat
        icon_pack: fas
      - name: Photography
        description: ''
        percent: 80
        icon: camera-retro
        icon_pack: fas

# Social/Academic Networking
# For available icons, see: https://docs.hugoblox.com/getting-started/page-builder/#icons
#   For an email link, use "fas" icon pack, "envelope" icon, and a link in the
#   form "mailto:your-email@example.com" or "/#contact" for contact widget.
social:
  - icon: envelope
    icon_pack: fas
    link: '/#contact'
  # - icon: twitter
  #   icon_pack: fab
  #   link: https://twitter.com/GeorgeCushen
  #   label: Follow me on Twitter
  #   display:
  #     header: true
  # - icon: graduation-cap # Alternatively, use `google-scholar` icon from `ai` icon pack
  #   icon_pack: fas
  #   link: https://scholar.google.co.uk/citations?user=sIwtMXoAAAAJ
  - icon: github
    icon_pack: fab
    link: https://github.com/reijix
    display:
      header: true
  # - icon: linkedin
  #   icon_pack: fab
  #   link: https://www.linkedin.com/
  # Link to a PDF of your resume/CV.
  # To use: copy your resume to `static/uploads/resume.pdf`, enable `ai` icons in `params.yaml`,
  # and uncomment the lines below.
  # - icon: cv
  #   icon_pack: ai
  #   link: uploads/resume.pdf

# Highlight the author in author lists? (true/false)
highlight_name: 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.
<!-- Chien Shiung Wu is a professor of artificial intelligence at the Stanford AI Lab. Her research interests include distributed robotics, mobile computing and programmable matter. She leads the Robotic Neurobiology group, which develops self-reconfiguring robots, systems of self-organizing robots, and mobile sensor networks. -->
{style="text-align: justify;"}