diff --git a/assets/media/fau.png b/assets/media/fau.png new file mode 100644 index 0000000..b47a5f1 Binary files /dev/null and b/assets/media/fau.png differ diff --git a/assets/media/leicester.jpg b/assets/media/leicester.jpg new file mode 100644 index 0000000..1f64043 Binary files /dev/null and b/assets/media/leicester.jpg differ diff --git a/content/_index.md b/content/_index.md index 4b73eff..ed99873 100644 --- a/content/_index.md +++ b/content/_index.md @@ -19,13 +19,53 @@ sections: 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 (the first course is called "Grundlagen der Logik in der Informatik") and the basics of functional programming languages ("Theorie der Programmierung"). + - title: Midlands Graduate School + 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 a graduate school 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: - - project + - projects # Default filter index (e.g. 0 corresponds to the first `filter_button` instance below). default_button_index: 0 # Filter toolbar (optional). diff --git a/content/project/algprog/index.md b/content/projects/algprog/index.md similarity index 100% rename from content/project/algprog/index.md rename to content/projects/algprog/index.md diff --git a/content/project/ba/index.md b/content/projects/ba/index.md similarity index 100% rename from content/project/ba/index.md rename to content/projects/ba/index.md diff --git a/content/project/lambda/index.md b/content/projects/lambda/index.md similarity index 100% rename from content/project/lambda/index.md rename to content/projects/lambda/index.md diff --git a/content/project/nixos/index.md b/content/projects/nixos/index.md similarity index 100% rename from content/project/nixos/index.md rename to content/projects/nixos/index.md diff --git a/content/project/pcf/index.md b/content/projects/pcf/index.md similarity index 100% rename from content/project/pcf/index.md rename to content/projects/pcf/index.md diff --git a/content/project/resolution/index.md b/content/projects/resolution/index.md similarity index 100% rename from content/project/resolution/index.md rename to content/projects/resolution/index.md