122 lines
3.4 KiB
Markdown
122 lines
3.4 KiB
Markdown
---
|
|
# 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;"}
|