From 577a77bd0a1268ed5b68d61393dde5c094d0a2b1 Mon Sep 17 00:00:00 2001 From: Leon Vatthauer Date: Sat, 6 Apr 2024 08:44:45 +0200 Subject: [PATCH] Work on landing page --- .vscode/ltex.dictionary.en-US.txt | 1 + assets/media/icons/custom/agda.svg | 1 + assets/media/icons/custom/agda_old.svg | 30 ++++++ assets/media/icons/custom/coq.svg | 75 +++++++++++++ content/authors/admin/_index.md | 139 ++++++++++++------------- 5 files changed, 176 insertions(+), 70 deletions(-) create mode 100644 .vscode/ltex.dictionary.en-US.txt create mode 100644 assets/media/icons/custom/agda.svg create mode 100644 assets/media/icons/custom/agda_old.svg create mode 100644 assets/media/icons/custom/coq.svg diff --git a/.vscode/ltex.dictionary.en-US.txt b/.vscode/ltex.dictionary.en-US.txt new file mode 100644 index 0000000..9a4f410 --- /dev/null +++ b/.vscode/ltex.dictionary.en-US.txt @@ -0,0 +1 @@ +Vatthauer diff --git a/assets/media/icons/custom/agda.svg b/assets/media/icons/custom/agda.svg new file mode 100644 index 0000000..45549f7 --- /dev/null +++ b/assets/media/icons/custom/agda.svg @@ -0,0 +1 @@ + \ No newline at end of file diff --git a/assets/media/icons/custom/agda_old.svg b/assets/media/icons/custom/agda_old.svg new file mode 100644 index 0000000..96ee660 --- /dev/null +++ b/assets/media/icons/custom/agda_old.svg @@ -0,0 +1,30 @@ + + + + + + + + + + + + + + + diff --git a/assets/media/icons/custom/coq.svg b/assets/media/icons/custom/coq.svg new file mode 100644 index 0000000..c5b537f --- /dev/null +++ b/assets/media/icons/custom/coq.svg @@ -0,0 +1,75 @@ + + + + + + + + image/svg+xml + + + + + + + + + + + + diff --git a/content/authors/admin/_index.md b/content/authors/admin/_index.md index 07f473b..633bf8a 100644 --- a/content/authors/admin/_index.md +++ b/content/authors/admin/_index.md @@ -1,90 +1,85 @@ --- # Display name -title: 吳健雄 - -# Name pronunciation (optional) -name_pronunciation: Chien Shiung Wu +title: Leon Vatthauer # Full name (for SEO) -first_name: Shiung Wu -last_name: Chien +first_name: Leon +last_name: Vatthauer # Status emoji status: - icon: ☕️ + icon: 👽 # Is this the primary user of the site? superuser: true # Role/position/tagline -role: Professor of Artificial Intelligence +role: Student # Organizations/Affiliations to show in About widget organizations: - - name: Stanford University - url: https://www.stanford.edu/ + - 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. +# bio: My research interests include distributed robotics, mobile computing and programmable matter. +# TODO bio +bio: '' # Interests to show in About widget interests: - - Artificial Intelligence - - Computational Linguistics - - Information Retrieval + - Programming Language Semantics + - Functional Programming + - Proof Assistants + - Type Theories # Education to show in About widget education: courses: - - course: PhD in Artificial Intelligence - institution: Stanford University - year: 2012 - - course: MEng in Artificial Intelligence - institution: Massachusetts Institute of Technology - year: 2009 - - course: BSc in Artificial Intelligence - institution: Massachusetts Institute of Technology - year: 2008 + + - 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: Python + - name: Agda + description: '' + percent: 90 + icon: agda + icon_pack: custom + - name: Haskell description: '' percent: 80 - icon: python - icon_pack: fab - - name: Data Science - description: '' - percent: 100 - icon: chart-line - icon_pack: fas - - name: SQL - description: '' - percent: 40 - icon: database - icon_pack: fas - - 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 + icon: haskell + icon_pack: devicon + - name: Coq description: '' percent: 80 - icon: camera-retro - icon_pack: fas + 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 @@ -94,31 +89,35 @@ 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: 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/gcushen - - icon: linkedin - icon_pack: fab - link: https://www.linkedin.com/ + 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 + # - icon: cv + # icon_pack: ai + # link: uploads/resume.pdf # Highlight the author in author lists? (true/false) highlight_name: true --- -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. + +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. + {style="text-align: justify;"}