114 lines
3.9 KiB
Markdown
114 lines
3.9 KiB
Markdown
---
|
|
# 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-
|
|
Attending 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'
|
|
---
|