diff --git a/assets/media/icons/agda.svg b/assets/media/icons/agda.svg index ebce23e..c44d2ab 100644 --- a/assets/media/icons/agda.svg +++ b/assets/media/icons/agda.svg @@ -1,4 +1,4 @@ - - + + \ No newline at end of file diff --git a/content/_index.md b/content/_index.md index a218d2c..091b60e 100644 --- a/content/_index.md +++ b/content/_index.md @@ -1,7 +1,7 @@ --- # Leave the homepage title empty to use the site title title: '' -date: 2022-10-24 +date: 2024-04-06 type: landing sections: @@ -19,234 +19,22 @@ 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: CEO - # company: GenCoin - # company_url: '' - # company_logo: org-gc - # location: California - # date_start: '2021-01-01' - # date_end: '' - # description: |2- - # Responsibilities include: - - # * Analysing - # * Modelling - # * Deploying - # - title: Professor of Semiconductor Physics - # company: University X - # company_url: '' - # company_logo: org-x - # location: California - # date_start: '2016-01-01' - # date_end: '2020-12-31' - # description: Taught electronic engineering and researched semiconductor physics. - # design: - # columns: '2' - # - block: accomplishments - # content: - # # Note: `­` is used to add a 'soft' hyphen in a long heading. - # title: 'Accomplish­ments' - # subtitle: - # # Date format: https://docs.hugoblox.com/customization/#date-format - # date_format: Jan 2006 - # # Accomplishments. - # # Add/remove as many `item` blocks below as you like. - # # `title`, `organization`, and `date_start` are the required parameters. - # # Leave other parameters empty if not required. - # # Begin multi-line descriptions with YAML's `|2-` multi-line prefix. - # items: - # - certificate_url: https://www.coursera.org - # date_end: '' - # date_start: '2021-01-25' - # description: '' - # icon: coursera - # organization: Coursera - # organization_url: https://www.coursera.org - # title: Neural Networks and Deep Learning - # url: '' - # - certificate_url: https://www.edx.org - # date_end: '' - # date_start: '2021-01-01' - # description: Formulated informed blockchain models, hypotheses, and use cases. - # icon: edx - # organization: edX - # organization_url: https://www.edx.org - # title: Blockchain Fundamentals - # url: https://www.edx.org/professional-certificate/uc-berkeleyx-blockchain-fundamentals - # - certificate_url: https://www.datacamp.com - # date_end: '2020-12-21' - # date_start: '2020-07-01' - # description: '' - # icon: datacamp - # organization: DataCamp - # organization_url: https://www.datacamp.com - # title: 'Object-Oriented Programming in R' - # url: '' - # design: - # columns: '2' - # - block: collection - # id: posts - # content: - # title: Recent Posts - # subtitle: '' - # text: '' - # # Choose how many pages you would like to display (0 = all pages) - # count: 5 - # # Filter on criteria - # filters: - # folders: - # - post - # author: "" - # category: "" - # tag: "" - # exclude_featured: false - # exclude_future: false - # exclude_past: false - # publication_type: "" - # # Choose how many pages you would like to offset by - # offset: 0 - # # Page order: descending (desc) or ascending (asc) date. - # order: desc - # design: - # # Choose a layout view - # view: compact - # columns: '2' - # - block: portfolio - # id: projects - # content: - # title: Projects - # filters: - # folders: - # - project - # # 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: Deep Learning - # tag: Deep Learning - # - name: Other - # tag: Demo - # design: - # # Choose how many columns the section has. Valid values: '1' or '2'. - # columns: '1' - # view: showcase - # # For Showcase view, flip alternate rows? - # flip_alt_rows: false - # - block: markdown - # content: - # title: Gallery - # subtitle: '' - # text: |- - # {{< gallery album="demo" >}} - # design: - # columns: '1' - # - block: collection - # id: featured - # content: - # title: Featured Publications - # filters: - # folders: - # - publication - # featured_only: true - # design: - # columns: '2' - # view: card - # - block: collection - # content: - # title: Recent Publications - # text: |- - # {{% callout note %}} - # Quickly discover relevant content by [filtering publications](./publication/). - # {{% /callout %}} - # filters: - # folders: - # - publication - # exclude_featured: true - # design: - # columns: '2' - # view: citation - # - block: collection - # id: talks - # content: - # title: Recent & Upcoming Talks - # filters: - # folders: - # - event - # design: - # columns: '2' - # view: compact - # - block: tag_cloud - # content: - # title: Popular Topics - # design: - # columns: '2' - block: contact id: contact content: title: Contact subtitle: text: |- - Lorem ipsum dolor sit amet, consectetur adipiscing elit. Nam mi diam, venenatis ut magna et, vehicula efficitur enim. + You can reach me by mail or via Discord. # Contact (add or remove contact options as necessary) - email: test@example.org - phone: 888 888 88 88 - appointment_url: 'https://calendly.com' - address: - street: 450 Serra Mall - city: Stanford - region: CA - postcode: '94305' - country: United States - country_code: US - directions: Enter Building 1 and take the stairs to Office 200 on Floor 2 - office_hours: - - 'Monday 10:00 to 13:00' - - 'Wednesday 09:00 to 10:00' - # Choose a map provider in `params.yaml` to show a map from these coordinates - coordinates: - latitude: '37.4275' - longitude: '-122.1697' + email: leon.vatthauer@fau.de contact_links: - - icon: twitter + - icon: discord icon_pack: fab - name: DM Me - link: 'https://twitter.com/Twitter' - - icon: skype - icon_pack: fab - name: Skype Me - link: 'skype:echo123?call' - - icon: video - icon_pack: fas - name: Zoom Me - link: 'https://zoom.com' + name: Leon#4082 + link: 'https://discordapp.com/users/151796651139399680' # Automatically link email and phone or display as text? autolink: true - # Email form provider - form: - provider: netlify - formspree: - id: - netlify: - # Enable CAPTCHA challenge to reduce spam? - captcha: false design: columns: '2' --- diff --git a/content/authors/admin/_index.md b/content/authors/admin/_index.md index 7f69e67..e6b4b0c 100644 --- a/content/authors/admin/_index.md +++ b/content/authors/admin/_index.md @@ -64,20 +64,20 @@ skills: color: '#eeac02' color_border: '#f0bf23' items: - - name: Hiking - description: '' - percent: 60 - icon: person-hiking - icon_pack: fas - - name: Cats + - name: Video Games description: '' percent: 100 - icon: cat + icon: computer icon_pack: fas - - name: Photography + - name: Cooking description: '' percent: 80 - icon: camera-retro + icon: utensils + icon_pack: fas + - name: Cycling + description: '' + percent: 80 + icon: person-biking icon_pack: fas # Social/Academic Networking @@ -116,7 +116,5 @@ social: 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. - +Hi! I'm Leon, and I am currently studying computer science at the University of Erlangen-Nuremberg. At the moment I am interested in the semantics of programming languages and the mathematical field of category theory as a suitable framework. {style="text-align: justify;"}