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 @@
+
+
+
+
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;"}