leonv/resumee-website
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Work on landing page

Browse source
This commit is contained in:
Leon Vatthauer 2024-04-06 08:44:45 +02:00
parent bc4b00f21b
commit 577a77bd0a
Signed by: leonv
SSH key fingerprint: SHA256:G4+ddwoZmhLPRB1agvXzZMXIzkVJ36dUYZXf5NxT+u8
5 changed files with 176 additions and 70 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.vscode/ltex.dictionary.en-US.txt vendored Normal file
View file

@ -0,0 +1 @@
Vatthauer

1
assets/media/icons/custom/agda.svg Normal file
View file

@ -0,0 +1 @@
<svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 512 512"><path fill="currentColor" d="M426.934 54.19L261.24 219.883c-7.475 6.74-17.17-3.385-10.544-10.544L416.389 43.645c7.048-6.74 17.328 3.086 10.545 10.545m72.302 30.879l-82.847 82.846c-6.743 7.413 3.446 17.258 10.545 10.545l82.846-82.847c6.643-7.568-3.561-17.277-10.544-10.544m0-41.424l-82.847 82.847c-6.781 7.404 3.1 17.204 10.545 10.545L509.78 54.19c6.72-7.533-3.28-17.04-10.544-10.545m-289.964 0l-82.846 82.847c-6.765 7.22 3.095 17.223 10.544 10.545l82.847-82.847c6.632-7.26-3.09-17.268-10.545-10.545m-30.878 93.392L261.24 54.19c6.601-7.003-2.994-17.398-10.544-10.545l-82.847 82.847c-6.65 7.317 3.168 17.134 10.545 10.545m77.574 333.57c84.33.012 169.911-64.196 173.15-173.15V217.7l80.662-80.663c6.69-7.46-3.35-17.265-10.544-10.545l-82.847 82.847a7.456 7.456 0 0 0-2.184 5.272v82.847c-2.483 101.816-82.348 158.237-158.237 158.237c-69.55 0-155.355-52.151-158.237-158.237V214.61a7.456 7.456 0 0 0-7.456-7.456H25.429L178.394 54.19c6.622-7.003-2.924-17.298-10.545-10.545L2.156 209.34c-4.506 4.64-1.566 12.727 5.272 12.727h75.39v75.39c4.57 114.638 93.018 173.139 173.15 173.15m-137.94-309.846c0-8.578-9.35-13.968-16.789-9.68s-7.44 15.07 0 19.359s16.79-1.101 16.79-9.68m41.424 0c0-8.578-9.35-13.968-16.79-9.68c-7.439 4.29-7.439 15.07 0 19.359c7.44 4.289 16.79-1.101 16.79-9.68"/></svg>
Side by side

After

Width:  |  Height:  |  Size: 1.3 KiB

30
assets/media/icons/custom/agda_old.svg Normal file
View file

@ -0,0 +1,30 @@
<?xml version="1.0" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 20010904//EN"
"http://www.w3.org/TR/2001/REC-SVG-20010904/DTD/svg10.dtd">
<svg version="1.0" xmlns="http://www.w3.org/2000/svg"
width="48.000000pt" height="48.000000pt" viewBox="0 0 48.000000 48.000000"
preserveAspectRatio="xMidYMid meet">
<g transform="translate(0.000000,48.000000) scale(0.100000,-0.100000)"
fill="#000000" stroke="none">
<path d="M87 362 c-42 -43 -77 -81 -77 -85 0 -4 16 -7 35 -7 l35 0 0 -52 c0
-72 31 -126 90 -155 56 -29 84 -29 140 -1 57 29 90 89 90 163 0 45 4 55 35 85
19 19 35 38 35 44 0 6 -17 -7 -39 -28 -35 -34 -39 -44 -43 -100 -9 -110 -59
-166 -148 -166 -89 0 -149 70 -150 173 0 46 0 47 -32 47 l-32 0 74 75 c41 41
72 77 69 79 -3 3 -40 -29 -82 -72z"/>
<path d="M425 400 c-21 -22 -36 -42 -34 -45 3 -2 23 13 44 35 21 22 36 42 34
45 -3 2 -23 -13 -44 -35z"/>
<path d="M155 390 c-21 -22 -35 -40 -29 -40 5 0 28 18 49 40 21 22 35 40 29
40 -5 0 -28 -18 -49 -40z"/>
<path d="M195 390 c-21 -22 -35 -40 -30 -39 10 1 82 79 73 79 -2 0 -22 -18
-43 -40z"/>
<path d="M305 350 c-44 -44 -75 -80 -70 -80 6 0 46 36 90 80 44 44 75 80 70
80 -6 0 -46 -36 -90 -80z"/>
<path d="M425 360 c-21 -22 -36 -42 -34 -45 3 -2 23 13 44 35 21 22 36 42 34
45 -3 2 -23 -13 -44 -35z"/>
<path d="M95 330 c-3 -5 -1 -10 4 -10 6 0 11 5 11 10 0 6 -2 10 -4 10 -3 0 -8
-4 -11 -10z"/>
<path d="M135 330 c-3 -5 -1 -10 4 -10 6 0 11 5 11 10 0 6 -2 10 -4 10 -3 0
-8 -4 -11 -10z"/>
</g>
</svg>
Side by side

After

Width:  |  Height:  |  Size: 1.4 KiB

75
assets/media/icons/custom/coq.svg Normal file
View file

@ -0,0 +1,75 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
id="svg3406"
version="1.1"
inkscape:version="0.91 r13725"
width="8.3999996"
height="13.5"
viewBox="0 0 8.3999996 13.5"
sodipodi:docname="coq-vector.svg"
inkscape:export-filename="/home/caleb/Desktop/2017-09-05 coq logo/coq-vector-large.svg.png"
inkscape:export-xdpi="10714.286"
inkscape:export-ydpi="10714.286">
<metadata
id="metadata3412">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
</cc:Work>
</rdf:RDF>
</metadata>
<defs
id="defs3410" />
<sodipodi:namedview
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1"
objecttolerance="10"
gridtolerance="10"
guidetolerance="10"
inkscape:pageopacity="0"
inkscape:pageshadow="2"
inkscape:window-width="1855"
inkscape:window-height="1056"
id="namedview3408"
showgrid="false"
inkscape:zoom="64"
inkscape:cx="0.99800113"
inkscape:cy="6.7185922"
inkscape:window-x="65"
inkscape:window-y="24"
inkscape:window-maximized="1"
inkscape:current-layer="svg3406" />
<g
id="g3550"
transform="matrix(0.91318311,0,0,0.91318311,0.40104129,0.53140307)">
<path
style="fill:#dec498"
d="m 1.5740339,12.387598 c 0,-0.410199 0.010761,-0.436569 0.3343093,-0.819226 0.4200085,-0.496739 0.541219,-0.751134 0.541219,-1.135903 0,-0.4781824 -0.2953595,-0.809586 -1.0924763,-1.2257968 C 0.64936119,8.8371374 0.41375504,8.6597081 0.44345586,8.518641 0.45408767,8.4681446 0.71782156,8.2692865 1.0295312,8.0767349 1.735222,7.64081 1.9886988,7.3007199 2.1507297,6.5724219 2.3080603,5.8652515 2.2568392,5.3647534 1.9883447,4.9857051 1.8754663,4.8263484 1.762156,4.6089004 1.736544,4.5024874 1.6911434,4.3138556 1.6813547,4.309971 1.345775,4.3474145 L 1.0015731,4.38582 1.2871303,4.1282496 1.5726874,3.8706793 1.35903,3.8279479 C 1.0214919,3.7604403 0.59247623,3.2655621 0.49538604,2.8317174 0.25690834,1.7660866 1.2918514,0.6952022 2.5648953,0.6903384 3.3940433,0.68717055 4.1766319,1.1779321 4.4393299,1.865797 4.6186832,2.3354271 4.5511186,3.0977935 4.283489,3.6242278 4.0951318,3.9947313 3.677263,4.4602466 3.5330384,4.4602466 3.4211311,4.4602466 3.3368797,4.2862997 3.288387,3.9551341 3.2136779,3.4449328 3.1309549,3.2920142 3.1608721,3.7194149 c 0.014261,0.2037287 0.041772,0.7189435 0.061136,1.1449217 0.034425,0.7572965 0.2433655,1.918279 0.3675855,2.042499 0.038345,0.038345 0.09142,-0.051305 0.1375653,-0.2323641 C 4.0295444,5.4879954 4.3240608,4.9501006 4.9207894,4.4944645 5.2986307,4.2059612 5.672651,4.0973403 6.127727,4.1439527 7.2439592,4.2582856 7.9737356,5.099778 7.9711299,6.2695484 7.9689748,7.2380583 7.6271059,8.0799609 6.9754936,8.721464 6.2898121,9.3965091 5.7951395,9.6242643 4.7523556,9.7450353 4.402214,9.7855871 4.3964814,9.7834616 4.4725699,9.6412893 L 4.55025,9.4961422 4.3368521,9.6216168 c -0.14848,0.087303 -0.1811728,0.1320984 -0.1074673,0.1472491 0.1295878,0.026643 0.1367221,-0.016227 -0.062722,0.3768921 -0.2645108,0.521375 -0.2354985,0.933027 0.1013044,1.437393 0.2410478,0.360972 0.2693934,0.446816 0.2693934,0.815854 l 0,0.412435 -1.4816633,0 -1.4816634,0 0,-0.423842 z M 5.3862384,8.5981612 C 5.480719,8.2217211 5.1859469,7.8236965 4.9714978,8.0381457 4.8738103,8.1358331 4.8736984,8.1677649 4.9702343,8.3988074 5.1069554,8.7260274 5.1020819,8.8345781 4.9414507,9.0399333 4.7090332,9.337062 4.8012241,9.3524262 5.0751803,9.0622202 5.2209624,8.9077911 5.3609387,8.6989641 5.3862387,8.5981612 Z"
id="path3556"
inkscape:connector-curvature="0" />
<path
style="fill:#ceba8e"
d="m 1.4184418,12.337461 c 0,-0.483897 0.00798,-0.504066 0.3485654,-0.88125 0.3862772,-0.427784 0.6404272,-0.878142 0.6429358,-1.19227 l 0.00165,-0.09736 0.8094348,-0.0062 0.9473565,-0.01106 -0.081881,0.267675 c -0.1186435,0.387854 -0.026404,0.750907 0.2906015,1.166524 0.1608258,0.210854 0.1913393,0.330463 0.1913393,0.750029 l 0,0.499171 -1.5749999,0 -1.575,0 z"
id="path3554"
inkscape:connector-curvature="0"
sodipodi:nodetypes="ssccccssscccs" />
<path
style="fill:#c79a73"
d="M 3.4166123,4.5214071 C 3.385391,4.4708898 3.3350069,4.2465154 3.3046476,4.0227972 3.2364588,3.5203113 3.1153896,3.3922538 2.7003985,3.3836702 2.4514062,3.37852 2.271263,3.4415321 1.9172152,3.6576191 1.3248427,4.0191633 1.082445,4.0218129 0.69412413,3.6709884 -0.22768721,2.8381872 0.14218373,1.3411464 1.4088495,0.77816044 2.2404654,0.40853803 2.9554644,0.44213754 3.6977861,0.88572304 4.1963385,1.1836405 4.5572053,1.7409592 4.6302842,2.3258626 4.7120985,2.9806824 4.3757361,3.9065918 3.87364,4.408688 3.6522607,4.6300673 3.5060542,4.6661269 3.4166123,4.5214071 Z"
id="path3552"
inkscape:connector-curvature="0" />
</g>
</svg>
Side by side

After

Width:  |  Height:  |  Size: 5.2 KiB

139
content/authors/admin/_index.md
View file

@ -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.
<!-- 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. -->
{style="text-align: justify;"}