Compare commits
10 commits
270dcffd09
...
c130974d1f
| Author | SHA1 | Date | |
|---|---|---|---|
c130974d1f
|
|||
|
ce6788773b
|
|||
|
c6ef5edfb6
|
|||
|
5ba97937ce
|
|||
|
6236c49faf
|
|||
|
6b0be98e57
|
|||
|
954dd5a754
|
|||
|
699295a9ca
|
|||
|
da17e39526
|
|||
|
e4dcb4b111
|
16 changed files with 288 additions and 57 deletions
BIN
assets/media/icon.png
Normal file
BIN
assets/media/icon.png
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 2.2 KiB |
|
Before Width: | Height: | Size: 1 KiB After Width: | Height: | Size: 1 KiB |
36
assets/media/icons/brands/fau.svg
Normal file
36
assets/media/icons/brands/fau.svg
Normal file
|
|
@ -0,0 +1,36 @@
|
||||||
|
<?xml version="1.0" encoding="utf-8"?>
|
||||||
|
<!-- Generator: Adobe Illustrator 26.0.3, SVG Export Plug-In . SVG Version: 6.00 Build 0) -->
|
||||||
|
<svg version="1.0" id="katman_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px"
|
||||||
|
viewBox="0 0 600 450" style="enable-background:new 0 0 600 450;" xml:space="preserve">
|
||||||
|
<style type="text/css">
|
||||||
|
.st0{fill:#010202;}
|
||||||
|
</style>
|
||||||
|
<g id="Logo" transform="matrix(1 0 0 1 0 -2)">
|
||||||
|
<path class="st0" d="M60.6,153l9.3-9.3V312h-9.3V153z M88.4,145.2h111.2v-9.3H79.1v9.3v102h102.4v-9.3H88.4V145.2z M195.5,219.3
|
||||||
|
h-88.6v-37.1h75.7l9.3-9.3h-85v-9.3h92.7v-9.3h-92.7h-9.3v74.1h88.6L195.5,219.3z M79.1,261v51h9.3v-46.3h9.3v38.6l9.3-9.3v-29.3
|
||||||
|
h74.6v-9.3H79.1V261z M530.4,135.9v106.6c0,24.8-11.1,46.1-36.9,62.5l-0.2-0.3c17-13.5,27.8-30.7,27.8-53.1V135.9h-9.3v115.5
|
||||||
|
c0,33.3-27,58.2-60.2,58.2s-60.2-25-60.2-58.2V143.7l-9.3,9.3v98.7c0,38.4,31.1,67.2,69.5,67.2c0.9,0,9.3,0,9.3,0
|
||||||
|
c37.8,0,78.8-27.9,78.8-76.2V136L530.4,135.9L530.4,135.9z M451.6,300.4c28.1,0,51-20.8,51-49l0,0V143.7l-9.3,9.3v89.5
|
||||||
|
c0,17.9-14.5,30.1-32.4,30.1c-17.9,0-32.4-12.2-32.4-30.1V135.9h-9.3v106.6c0,23,18.7,39.4,41.7,39.4c9.4,0,20.9-4.7,28.6-12.8
|
||||||
|
l0.2,0.3c-7.3,13.5-20.7,21.8-38.1,21.8c-22.9,0-41.5-16.6-41.7-39.4l0,0V135.9h-9.3v115.9l0,0
|
||||||
|
C400.8,279.7,423.6,300.4,451.6,300.4z M245.7,256.4L222.3,312h9.3l0,0l0,0l11.7-27.8h78.5l11.7,27.8h9.3l-15.7-37.1h-80l3.9-9.3
|
||||||
|
h81.4l19.5,46.3h9.3l-23.4-55.6L245.7,256.4L245.7,256.4z M259.3,135.9l-68.1,161.6l5.9,8l71.5-169.6H259.3z M296.4,135.9
|
||||||
|
l71.4,169.6l5.9-8l-68.1-161.6H296.4z M240.3,247.1L212.9,312h-9.3l69.6-165.1l38.3,90.9h9.3l-43-101.9h9.3l46.8,111.2H240.3z
|
||||||
|
M282.5,191l-19.8,46.9h39.5L282.5,191z M244.2,237.9h9.3l24.4-57.9l-4.6-11L244.2,237.9z"/>
|
||||||
|
</g>
|
||||||
|
<g>
|
||||||
|
<g id="Logo_00000146491936642346884290000005384286041009189291_" transform="matrix(1 0 0 1 0 -2)">
|
||||||
|
<path class="st0" d="M60.6,153l9.3-9.3V312h-9.3V153z M88.4,145.2h111.2v-9.3H79.1v9.3v102h102.4v-9.3H88.4V145.2z M195.5,219.3
|
||||||
|
h-88.6v-37.1h75.7l9.3-9.3h-85v-9.3h92.7v-9.3h-92.7h-9.3v74.1h88.6L195.5,219.3z M79.1,261v51h9.3v-46.3h9.3v38.6l9.3-9.3v-29.3
|
||||||
|
h74.6v-9.3H79.1V261z M530.4,135.9v106.6c0,24.8-11.1,46.1-36.9,62.5l-0.2-0.3c17-13.5,27.8-30.7,27.8-53.1V135.9h-9.3v115.5
|
||||||
|
c0,33.3-27,58.2-60.2,58.2s-60.2-25-60.2-58.2V143.7l-9.3,9.3v98.7c0,38.4,31.1,67.2,69.5,67.2c0.9,0,9.3,0,9.3,0
|
||||||
|
c37.8,0,78.8-27.9,78.8-76.2V136L530.4,135.9L530.4,135.9z M451.6,300.4c28.1,0,51-20.8,51-49l0,0V143.7l-9.3,9.3v89.5
|
||||||
|
c0,17.9-14.5,30.1-32.4,30.1c-17.9,0-32.4-12.2-32.4-30.1V135.9h-9.3v106.6c0,23,18.7,39.4,41.7,39.4c9.4,0,20.9-4.7,28.6-12.8
|
||||||
|
l0.2,0.3c-7.3,13.5-20.7,21.8-38.1,21.8c-22.9,0-41.5-16.6-41.7-39.4l0,0V135.9h-9.3v115.9l0,0
|
||||||
|
C400.8,279.7,423.6,300.4,451.6,300.4z M245.7,256.4L222.3,312h9.3l0,0l0,0l11.7-27.8h78.5l11.7,27.8h9.3l-15.7-37.1h-80l3.9-9.3
|
||||||
|
h81.4l19.5,46.3h9.3l-23.4-55.6L245.7,256.4L245.7,256.4z M259.3,135.9l-68.1,161.6l5.9,8l71.5-169.6H259.3z M296.4,135.9
|
||||||
|
l71.4,169.6l5.9-8l-68.1-161.6H296.4z M240.3,247.1L212.9,312h-9.3l69.6-165.1l38.3,90.9h9.3l-43-101.9h9.3l46.8,111.2H240.3z
|
||||||
|
M282.5,191l-19.8,46.9h39.5L282.5,191z M244.2,237.9h9.3l24.4-57.9l-4.6-11L244.2,237.9z"/>
|
||||||
|
</g>
|
||||||
|
</g>
|
||||||
|
</svg>
|
||||||
|
After Width: | Height: | Size: 3.1 KiB |
36
assets/media/icons/brands/leicester.svg
Normal file
36
assets/media/icons/brands/leicester.svg
Normal file
|
|
@ -0,0 +1,36 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<!-- Generator: Adobe Illustrator 18.0.0, SVG Export Plug-In . SVG Version: 6.00 Build 0) -->
|
||||||
|
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
|
||||||
|
<svg version="1.1" id="Layer_1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px" y="0px" viewBox="0 0 95.5 119.4" width="282.813100088" height="353.590409953" enable-background="new 0 0 95.5 119.4" xml:space="preserve">
|
||||||
|
|
||||||
|
<path fill="#C3002F" d="M47.8,109.1c19.2-12.5,39-31.2,39-44.3V8.7H8.7v56.1C8.7,77.9,28.5,96.6,47.8,109.1"/>
|
||||||
|
|
||||||
|
<path fill="#5C6670" d="M47.8,0L47.8,0H0v64.8c0,26,46.9,54.1,47.8,54.6c0.9-0.5,47.8-28.6,47.8-54.6V0H47.8z M91.2,64.8 c0,17.7-27.2,39.3-43.4,49.5C31.6,104.1,4.4,82.5,4.4,64.8V4.4h86.8V64.8z"/>
|
||||||
|
|
||||||
|
<path fill="#FFFFFF" d="M4.4,4.4v60.4c0,17.7,27.2,39.3,43.4,49.5C64,104.1,91.2,82.5,91.2,64.8V4.4H4.4z M86.8,64.8 c0,13.1-19.8,31.8-39,44.3c-19.2-12.5-39-31.2-39-44.3V8.7h78.1V64.8z"/>
|
||||||
|
|
||||||
|
<path fill="#FFFFFF" d="M29.9,27.8c-1.2,0-2.2-1-2.2-2.2c0-1.2,1-2.2,2.2-2.2c1.2,0,2.2,1,2.2,2.2C32.2,26.8,31.2,27.8,29.9,27.8 M40.3,21.1c-0.6-0.8-2-2.8-4.3-2.1c-2.1,0.7-1.4,2.2-2.9,2.7c-0.1,0-0.2,0-0.3,0c-0.1-0.1-0.1-0.2-0.1-0.3 c-0.1-1.5,1.6-1.3,1.6-3.5c0-2.4-2.4-3.1-3.3-3.4c-0.9-0.4-1-1.5-1-1.5s-0.1,1.1-1,1.5c-0.9,0.3-3.3,1-3.3,3.4c0,2.2,1.7,2,1.6,3.5 c0,0.1,0,0.2-0.2,0.3h0c-0.1,0.1-0.2,0.1-0.3,0c-1.5-0.4-0.8-2-2.9-2.7c-2.3-0.7-3.7,1.3-4.3,2.1c-0.6,0.8-1.7,0.5-1.7,0.5 s1,0.5,1.1,1.5c0.1,1,0,3.5,2.2,4.2c2.1,0.7,2.4-1,3.9-0.5c0.1,0,0.2,0.1,0.2,0.2c0,0.1,0,0.2-0.1,0.3c-0.9,1.3-2.1,0.1-3.4,1.9 c-1.4,1.9,0.1,3.9,0.6,4.7c0.5,0.8,0,1.8,0,1.8s0.8-0.8,1.7-0.6c0.9,0.3,3.3,1.1,4.7-0.8c1.3-1.8-0.2-2.6,0.8-3.8 c0.1-0.1,0.2-0.2,0.3-0.2c0.1,0,0.2,0.1,0.3,0.2c0.9,1.2-0.5,2,0.8,3.8c1.4,1.9,3.7,1.1,4.7,0.8c0.9-0.3,1.7,0.6,1.7,0.6 s-0.5-1,0-1.8c0.5-0.8,2-2.8,0.6-4.7c-1.3-1.8-2.5-0.6-3.4-1.9c-0.1-0.1-0.1-0.2-0.1-0.3l0,0c0-0.1,0.2-0.2,0.2-0.2 c1.5-0.5,1.8,1.2,3.9,0.5c2.3-0.7,2.2-3.2,2.2-4.2c0.1-1,1.1-1.5,1.1-1.5S40.9,21.9,40.3,21.1"/>
|
||||||
|
|
||||||
|
<path fill="#FFFFFF" d="M65.6,27.8c-1.2,0-2.2-1-2.2-2.2c0-1.2,1-2.2,2.2-2.2c1.2,0,2.2,1,2.2,2.2C67.8,26.8,66.8,27.8,65.6,27.8 M75.9,21.1c-0.6-0.8-2-2.8-4.3-2.1c-2.1,0.7-1.4,2.2-2.9,2.7c-0.1,0-0.2,0-0.3,0c-0.1-0.1-0.1-0.2-0.1-0.3 c-0.1-1.5,1.6-1.3,1.6-3.5c0-2.4-2.4-3.1-3.3-3.4c-0.9-0.4-1-1.5-1-1.5s-0.1,1.1-1.1,1.5c-0.9,0.3-3.3,1-3.3,3.4 c0,2.2,1.7,2,1.6,3.5c0,0.1,0,0.2-0.2,0.3h0c-0.1,0.1-0.2,0.1-0.3,0c-1.5-0.4-0.8-2-2.9-2.7c-2.3-0.7-3.7,1.3-4.3,2.1 c-0.6,0.8-1.7,0.5-1.7,0.5s1,0.5,1.1,1.5c0.1,1,0,3.5,2.2,4.2c2.1,0.7,2.4-1,3.9-0.5c0.1,0,0.2,0.1,0.2,0.2c0,0.1,0,0.2-0.1,0.3 c-0.9,1.3-2.1,0.1-3.4,1.9c-1.4,1.9,0.1,3.9,0.6,4.7c0.5,0.8,0,1.8,0,1.8s0.8-0.8,1.7-0.6c0.9,0.3,3.3,1.1,4.7-0.8 c1.3-1.8-0.2-2.6,0.8-3.8c0.1-0.1,0.2-0.2,0.3-0.2c0.1,0,0.2,0.1,0.3,0.2c0.9,1.2-0.5,2,0.8,3.8c1.4,1.9,3.7,1.1,4.7,0.8 c0.9-0.3,1.7,0.6,1.7,0.6s-0.5-1,0-1.8c0.5-0.8,2-2.8,0.6-4.7c-1.3-1.8-2.6-0.6-3.4-1.9c-0.1-0.1-0.1-0.2-0.1-0.3l0,0 c0-0.1,0.2-0.2,0.2-0.2c1.5-0.5,1.8,1.2,3.9,0.5c2.3-0.7,2.2-3.2,2.2-4.2c0.1-1,1.1-1.5,1.1-1.5S76.5,21.9,75.9,21.1"/>
|
||||||
|
|
||||||
|
<path fill="#FFFFFF" d="M56.6,96.7L53.2,95c-0.4-0.2-0.9-0.1-1.1,0.3L51.8,96c-0.2,0.4,0,0.8,0.4,1l3.4,1.7c0.4,0.2,0.9,0.1,1.1-0.3 l0.4-0.7C57.2,97.4,57,96.9,56.6,96.7"/>
|
||||||
|
|
||||||
|
<path fill="#FFFFFF" d="M60.8,82.4l0-0.2l0-0.7c0-0.2,0-0.5-0.1-0.8l-0.1-0.9c-0.2-1.1-0.4-2.2-0.9-3.2c-0.4-1-1-2-1.7-2.9 c-0.7-0.9-1.5-1.5-2.4-2.1c-0.4-0.3-0.8-0.5-1.3-0.7c-0.4-0.2-0.8-0.4-1.2-0.5c-0.4-0.1-0.8-0.3-1.2-0.4c-0.4-0.1-0.7-0.2-1.1-0.2 c-0.3-0.1-0.6-0.1-0.8-0.1c-0.4-0.1-1.3-0.1-2.3-0.1c-1.1,0-1.9,0.1-2.3,0.1c-0.3,0-0.5,0.1-0.8,0.1c-0.3,0.1-0.7,0.2-1,0.2 c-0.4,0.1-0.8,0.2-1.2,0.4c-0.4,0.2-0.8,0.3-1.2,0.5c-0.4,0.2-0.8,0.5-1.3,0.7c-0.8,0.6-1.7,1.3-2.4,2.1c-0.7,0.8-1.3,1.8-1.7,2.9 c-0.5,1-0.7,2.1-0.9,3.2l-0.1,0.9c0,0.3-0.1,0.6-0.1,0.8l0,0.7l0,0.2l0,0.1v0l0,0l0,0.1l0,0.4c0,1,0.2,2,0.3,2.9 c0.3,1.8,0.8,3.5,1.2,4.9c0.5,1.4,0.9,2.5,1.3,3.3c0.2,0.4,0.3,0.7,0.4,0.9c0.1,0.2,0.2,0.3,0.2,0.3l0.5-0.3L39,95l1.9-1l0.3-0.2 l0.3-0.1l0.2-0.1c0,0,0-0.1-0.1-0.2c-0.1-0.2-0.2-0.4-0.3-0.8c-0.3-0.7-0.7-1.7-1-2.9c-0.4-1.2-0.7-2.7-0.9-4.2 c-0.1-0.8-0.2-1.6-0.1-2.4v-0.3l0-0.1v0l0-0.1l0-0.7c0-0.2,0-0.4,0.1-0.6l0.1-0.5c0.2-0.7,0.3-1.4,0.7-2c0.3-0.6,0.7-1.1,1.1-1.6 c0,0,0.2-0.2,0.6-0.5c0.1,0,0.1-0.1,0.2-0.1c0.1-0.1,0.3-0.2,0.4-0.3c0.1,0,0.1-0.1,0.2-0.1c0,0,0,0,0.1,0c0.2-0.1,0.4-0.2,0.5-0.3 c0,0,0.1,0,0.1-0.1c0,0,0,0,0,0c1-0.5,2.5-0.9,4.3-0.9c1.9,0,3.3,0.4,4.3,0.9c0,0,0,0,0,0c0,0,0.1,0,0.1,0.1 c0.2,0.1,0.4,0.2,0.5,0.3c0,0,0,0,0.1,0c0.1,0,0.1,0.1,0.2,0.1c0.2,0.1,0.3,0.2,0.4,0.3c0.1,0,0.1,0.1,0.2,0.1 c0.4,0.3,0.6,0.5,0.6,0.5c0.4,0.4,0.8,1,1.1,1.6c0.3,0.6,0.5,1.3,0.7,2l0.1,0.5c0,0.2,0.1,0.3,0.1,0.6l0,0.7l0,0.1v0l0,0.1V83 c0,0.8-0.1,1.6-0.1,2.4c-0.2,1.6-0.5,3-0.9,4.2c-0.4,1.2-0.7,2.2-1,2.9c-0.1,0.3-0.3,0.6-0.3,0.8c-0.1,0.2-0.1,0.2-0.1,0.2l0.2,0.1 l0.3,0.1l0.3,0.2l1.9,1l0.4,0.2l0.5,0.3c0,0,0.1-0.1,0.2-0.3c0.1-0.2,0.2-0.5,0.4-0.9c0.4-0.8,0.8-1.9,1.3-3.3 c0.5-1.4,0.9-3.1,1.2-4.9c0.1-0.9,0.3-1.9,0.3-2.9l0-0.4l0-0.1l0,0v0L60.8,82.4z"/>
|
||||||
|
|
||||||
|
<path fill="#FFFFFF" d="M43.4,95.3c-0.2-0.4-0.7-0.5-1.1-0.3l-3.4,1.7c-0.4,0.2-0.6,0.7-0.4,1l0.4,0.7c0.2,0.4,0.7,0.5,1.1,0.3 l3.4-1.7c0.4-0.2,0.6-0.7,0.4-1L43.4,95.3z"/>
|
||||||
|
|
||||||
|
<path fill="#FFFFFF" d="M42.9,65h-25l6.4-21.4h-0.3l-6.8,21.2l-0.3,0.9h26C42.8,65.4,42.8,65.2,42.9,65"/>
|
||||||
|
|
||||||
|
<path fill="#FFFFFF" d="M45.9,61.4c-0.1-0.2-0.3-0.5-0.5-0.7c0,0,0,0,0,0c0-0.1-0.1-0.1-0.1-0.1c0,0,0,0,0,0 c-0.1-0.1-0.1-0.1-0.1-0.1c-0.9-0.8-1.8-1-2.3-1.1c-0.4-0.1-0.8-0.1-1.3-0.1c-2.9,0-7.3,0.8-10.7,1.6l0,0c0,0-7.2,1.5-8.3,1.3 L27.6,42c-0.5,0.3-0.9,0.5-1.2,0.7l-6,20.3h23.3C44.2,61.9,45.9,61.4,45.9,61.4C45.9,61.4,45.9,61.4,45.9,61.4"/>
|
||||||
|
|
||||||
|
<path fill="#FFFFFF" d="M42.7,38.3c-0.8,0-1.8,0.1-2.8,0.3c-0.2,0-3.4,0.7-5.1,1.2c-1.8,0.5-4.6,1.3-5.1,1.2L24.7,60 c0.9,0,5.6-1,5.6-1h0c3.5-0.8,8.1-1.6,11.2-1.6c2.8,0,4.3,1,5.2,2.1V40.9c0-0.1,0-0.2,0-0.2C46.1,39.7,45,38.3,42.7,38.3"/>
|
||||||
|
|
||||||
|
<path fill="#FFFFFF" d="M50.8,65.3L50.8,65.3C50.8,65.3,50.8,65.3,50.8,65.3C50.8,65.3,50.8,65.2,50.8,65.3c0-0.2-0.1-0.3-0.2-0.4 c-0.1-0.1-0.1-0.2-0.3-0.3c0,0,0,0,0,0c-0.3-0.3-0.9-0.7-1.9-0.9l-0.4,0c-0.1,0-0.1,0-0.2,0l0,0l0,0c-0.1,0-0.1,0-0.2,0l-0.4,0 c-1,0.1-1.6,0.5-1.9,0.9h0c0,0,0,0,0,0c-0.1,0.1-0.2,0.2-0.3,0.3c-0.1,0.1-0.2,0.2-0.2,0.4c0,0,0,0,0,0c0,0,0,0,0,0l0,0 c0,0.1,0,0.2,0.1,0.2c0.1,0.1,0.1,0.2,0.2,0.2c0,0,0.1,0,0.2-0.1c0.3-0.2,0.8-0.6,2.5-0.6c1.7,0,2.2,0.4,2.5,0.6 c0.1,0.1,0.1,0.1,0.2,0.1c0.1,0,0.2-0.1,0.2-0.2C50.8,65.4,50.8,65.4,50.8,65.3"/>
|
||||||
|
|
||||||
|
<path fill="#FFFFFF" d="M52.7,65h25l-6.4-21.4h0.3l6.8,21.2l0.3,0.9h-26C52.7,65.4,52.7,65.2,52.7,65"/>
|
||||||
|
|
||||||
|
<path fill="#FFFFFF" d="M49.6,61.4c0.1-0.2,0.3-0.5,0.5-0.7c0,0,0,0,0,0c0-0.1,0.1-0.1,0.1-0.1c0,0,0,0,0,0c0.1-0.1,0.1-0.1,0.1-0.1 c0.9-0.8,1.8-1,2.3-1.1c0.4-0.1,0.8-0.1,1.3-0.1c2.9,0,7.3,0.8,10.7,1.6l0,0c0,0,7.2,1.5,8.3,1.3L68,42c0.5,0.3,0.9,0.5,1.2,0.7 l6,20.3H51.9C51.3,61.9,49.6,61.4,49.6,61.4C49.6,61.4,49.6,61.4,49.6,61.4"/>
|
||||||
|
|
||||||
|
<path fill="#FFFFFF" d="M52.8,38.3c0.8,0,1.8,0.1,2.8,0.3c0.2,0,3.4,0.7,5.1,1.2c1.8,0.5,4.6,1.3,5.1,1.2L70.8,60 c-0.9,0-5.6-1-5.6-1c-3.5-0.8-8.1-1.6-11.2-1.6c-2.8,0-4.3,1-5.2,2.1V40.9c0-0.1,0-0.2,0-0.2C49.4,39.7,50.5,38.3,52.8,38.3"/>
|
||||||
|
|
||||||
|
<script xmlns="" id="bw-fido2-page-script"/></svg>
|
||||||
|
After Width: | Height: | Size: 7 KiB |
|
|
@ -19,6 +19,77 @@ sections:
|
||||||
username: admin
|
username: admin
|
||||||
design:
|
design:
|
||||||
columns: '1'
|
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 ("Grundlagen der Logik in der Informatik") and the basics of functional programming languages ("Theorie der Programmierung").
|
||||||
|
- title: Midlands Graduate School 2024
|
||||||
|
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 the [midlands graduate school](https://www.cs.le.ac.uk/events/mgs2024/) 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:
|
||||||
|
- projects
|
||||||
|
# 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: Category Theory
|
||||||
|
tag: Category Theory
|
||||||
|
- name: Agda
|
||||||
|
tag: Agda
|
||||||
|
- name: Haskell
|
||||||
|
tag: Haskell
|
||||||
|
- name: Programming Languages
|
||||||
|
tag: Programming Languages
|
||||||
|
- name: Nix
|
||||||
|
tag: Nix
|
||||||
|
design:
|
||||||
|
# Choose how many columns the section has. Valid values: '1' or '2'.
|
||||||
|
columns: '1'
|
||||||
|
view: compact
|
||||||
- block: contact
|
- block: contact
|
||||||
id: contact
|
id: contact
|
||||||
content:
|
content:
|
||||||
|
|
@ -27,8 +98,11 @@ sections:
|
||||||
text: |-
|
text: |-
|
||||||
You can reach me by mail or via Discord.
|
You can reach me by mail or via Discord.
|
||||||
# Contact (add or remove contact options as necessary)
|
# Contact (add or remove contact options as necessary)
|
||||||
email: leon.vatthauer _at_ fau.de
|
|
||||||
contact_links:
|
contact_links:
|
||||||
|
- icon: envelope
|
||||||
|
icon_pack: fas
|
||||||
|
name: leon.vatthauer _at_ fau.de
|
||||||
|
link: mailto:leon.vatthauer@fau.de
|
||||||
- icon: discord
|
- icon: discord
|
||||||
icon_pack: fab
|
icon_pack: fab
|
||||||
name: Leon#4082
|
name: Leon#4082
|
||||||
|
|
|
||||||
|
|
@ -28,7 +28,7 @@ bio: ''
|
||||||
|
|
||||||
# Interests to show in About widget
|
# Interests to show in About widget
|
||||||
interests:
|
interests:
|
||||||
- Programming Language Semantics
|
- Programming Languages
|
||||||
- Functional Programming
|
- Functional Programming
|
||||||
- Proof Assistants
|
- Proof Assistants
|
||||||
- Type Theories
|
- Type Theories
|
||||||
|
|
|
||||||
Binary file not shown.
|
Before Width: | Height: | Size: 431 KiB |
|
|
@ -1,41 +0,0 @@
|
||||||
---
|
|
||||||
title: Example Project
|
|
||||||
summary: An example of using the in-built project page.
|
|
||||||
tags:
|
|
||||||
- Deep Learning
|
|
||||||
date: '2016-04-27T00:00:00Z'
|
|
||||||
|
|
||||||
# Optional external URL for project (replaces project detail page).
|
|
||||||
external_link: ''
|
|
||||||
|
|
||||||
image:
|
|
||||||
caption: Photo by rawpixel on Unsplash
|
|
||||||
focal_point: Smart
|
|
||||||
|
|
||||||
links:
|
|
||||||
- icon: twitter
|
|
||||||
icon_pack: fab
|
|
||||||
name: Follow
|
|
||||||
url: https://twitter.com/georgecushen
|
|
||||||
url_code: ''
|
|
||||||
url_pdf: ''
|
|
||||||
url_slides: ''
|
|
||||||
url_video: ''
|
|
||||||
|
|
||||||
# Slides (optional).
|
|
||||||
# Associate this project with Markdown slides.
|
|
||||||
# Simply enter your slide deck's filename without extension.
|
|
||||||
# E.g. `slides = "example-slides"` references `content/slides/example-slides.md`.
|
|
||||||
# Otherwise, set `slides = ""`.
|
|
||||||
slides: example
|
|
||||||
---
|
|
||||||
|
|
||||||
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Duis posuere tellus ac convallis placerat. Proin tincidunt magna sed ex sollicitudin condimentum. Sed ac faucibus dolor, scelerisque sollicitudin nisi. Cras purus urna, suscipit quis sapien eu, pulvinar tempor diam. Quisque risus orci, mollis id ante sit amet, gravida egestas nisl. Sed ac tempus magna. Proin in dui enim. Donec condimentum, sem id dapibus fringilla, tellus enim condimentum arcu, nec volutpat est felis vel metus. Vestibulum sit amet erat at nulla eleifend gravida.
|
|
||||||
|
|
||||||
Nullam vel molestie justo. Curabitur vitae efficitur leo. In hac habitasse platea dictumst. Sed pulvinar mauris dui, eget varius purus congue ac. Nulla euismod, lorem vel elementum dapibus, nunc justo porta mi, sed tempus est est vel tellus. Nam et enim eleifend, laoreet sem sit amet, elementum sem. Morbi ut leo congue, maximus velit ut, finibus arcu. In et libero cursus, rutrum risus non, molestie leo. Nullam congue quam et volutpat malesuada. Sed risus tortor, pulvinar et dictum nec, sodales non mi. Phasellus lacinia commodo laoreet. Nam mollis, erat in feugiat consectetur, purus eros egestas tellus, in auctor urna odio at nibh. Mauris imperdiet nisi ac magna convallis, at rhoncus ligula cursus.
|
|
||||||
|
|
||||||
Cras aliquam rhoncus ipsum, in hendrerit nunc mattis vitae. Duis vitae efficitur metus, ac tempus leo. Cras nec fringilla lacus. Quisque sit amet risus at ipsum pharetra commodo. Sed aliquam mauris at consequat eleifend. Praesent porta, augue sed viverra bibendum, neque ante euismod ante, in vehicula justo lorem ac eros. Suspendisse augue libero, venenatis eget tincidunt ut, malesuada at lorem. Donec vitae bibendum arcu. Aenean maximus nulla non pretium iaculis. Quisque imperdiet, nulla in pulvinar aliquet, velit quam ultrices quam, sit amet fringilla leo sem vel nunc. Mauris in lacinia lacus.
|
|
||||||
|
|
||||||
Suspendisse a tincidunt lacus. Curabitur at urna sagittis, dictum ante sit amet, euismod magna. Sed rutrum massa id tortor commodo, vitae elementum turpis tempus. Lorem ipsum dolor sit amet, consectetur adipiscing elit. Aenean purus turpis, venenatis a ullamcorper nec, tincidunt et massa. Integer posuere quam rutrum arcu vehicula imperdiet. Mauris ullamcorper quam vitae purus congue, quis euismod magna eleifend. Vestibulum semper vel augue eget tincidunt. Fusce eget justo sodales, dapibus odio eu, ultrices lorem. Duis condimentum lorem id eros commodo, in facilisis mauris scelerisque. Morbi sed auctor leo. Nullam volutpat a lacus quis pharetra. Nulla congue rutrum magna a ornare.
|
|
||||||
|
|
||||||
Aliquam in turpis accumsan, malesuada nibh ut, hendrerit justo. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Quisque sed erat nec justo posuere suscipit. Donec ut efficitur arcu, in malesuada neque. Nunc dignissim nisl massa, id vulputate nunc pretium nec. Quisque eget urna in risus suscipit ultricies. Pellentesque odio odio, tincidunt in eleifend sed, posuere a diam. Nam gravida nisl convallis semper elementum. Morbi vitae felis faucibus, vulputate orci placerat, aliquet nisi. Aliquam erat volutpat. Maecenas sagittis pulvinar purus, sed porta quam laoreet at.
|
|
||||||
Binary file not shown.
|
Before Width: | Height: | Size: 322 KiB |
|
|
@ -1,14 +0,0 @@
|
||||||
---
|
|
||||||
title: External Project
|
|
||||||
summary: An example of linking directly to an external project website using `external_link`.
|
|
||||||
tags:
|
|
||||||
- Demo
|
|
||||||
date: "2016-04-27T00:00:00Z"
|
|
||||||
|
|
||||||
# Optional external URL for project (replaces project detail page).
|
|
||||||
external_link: https://example.org
|
|
||||||
|
|
||||||
image:
|
|
||||||
caption: Photo by Toa Heftiba on Unsplash
|
|
||||||
focal_point: Smart
|
|
||||||
---
|
|
||||||
22
content/projects/algprog/index.md
Normal file
22
content/projects/algprog/index.md
Normal file
|
|
@ -0,0 +1,22 @@
|
||||||
|
---
|
||||||
|
title: 'Summary of "Algebra of Programming"'
|
||||||
|
summary: 'A student summary of the course "Algebra of Programming" that was taught in the winter semester 23/24'
|
||||||
|
tags:
|
||||||
|
- Category Theory
|
||||||
|
- Programming Languages
|
||||||
|
date: '2024-04-05'
|
||||||
|
|
||||||
|
# Optional external URL for project (replaces project detail page).
|
||||||
|
external_link: 'https://git.vatthauer.xyz/CategoryTheory/algprog'
|
||||||
|
|
||||||
|
links:
|
||||||
|
# TODO PDF when finished
|
||||||
|
- icon: git-alt
|
||||||
|
icon_pack: fab
|
||||||
|
name: Repo
|
||||||
|
url: https://git.vatthauer.xyz/CategoryTheory/algprog
|
||||||
|
url_code: ''
|
||||||
|
url_pdf: ''
|
||||||
|
url_slides: ''
|
||||||
|
url_video: ''
|
||||||
|
---
|
||||||
36
content/projects/ba/index.md
Normal file
36
content/projects/ba/index.md
Normal file
|
|
@ -0,0 +1,36 @@
|
||||||
|
---
|
||||||
|
title: Implementing Categorical Notions of Partiality and Delay in Agda
|
||||||
|
summary: "My bachelor's thesis in computer science. Advisor: Sergey Goncharov"
|
||||||
|
tags:
|
||||||
|
- Bachelor Thesis
|
||||||
|
- Agda
|
||||||
|
- Partiality
|
||||||
|
- Category Theory
|
||||||
|
- Programming Languages
|
||||||
|
date: '2024-03-21'
|
||||||
|
|
||||||
|
# Optional external URL for project (replaces project detail page).
|
||||||
|
external_link: 'https://git.vatthauer.xyz/leonv/bsc-leon-vatthauer/src/branch/main'
|
||||||
|
|
||||||
|
links:
|
||||||
|
- icon: file
|
||||||
|
icon_pack: fas
|
||||||
|
name: Thesis
|
||||||
|
url: https://wwwcip.cs.fau.de/~hy84coky/bsc-thesis.pdf
|
||||||
|
- icon: file
|
||||||
|
icon_pack: fas
|
||||||
|
name: Slides
|
||||||
|
url: https://wwwcip.cs.fau.de/~hy84coky/bsc-slides.pdf
|
||||||
|
- icon: file
|
||||||
|
icon_pack: fas
|
||||||
|
name: HTML
|
||||||
|
url: https://wwwcip.cs.fau.de/~hy84coky/bsc-thesis/
|
||||||
|
- icon: git-alt
|
||||||
|
icon_pack: fab
|
||||||
|
name: Repo
|
||||||
|
url: https://git.vatthauer.xyz/leonv/bsc-leon-vatthauer/src/branch/main
|
||||||
|
url_code: ''
|
||||||
|
url_pdf: ''
|
||||||
|
url_slides: ''
|
||||||
|
url_video: ''
|
||||||
|
---
|
||||||
21
content/projects/lambda/index.md
Normal file
21
content/projects/lambda/index.md
Normal file
|
|
@ -0,0 +1,21 @@
|
||||||
|
---
|
||||||
|
title: 'Lambda Calculus Interpreter'
|
||||||
|
summary: 'A small interpreter for the untyped lambda calculus.'
|
||||||
|
tags:
|
||||||
|
- Haskell
|
||||||
|
- Programming Languages
|
||||||
|
date: '2024-04-05'
|
||||||
|
|
||||||
|
# Optional external URL for project (replaces project detail page).
|
||||||
|
external_link: 'https://git.vatthauer.xyz/TypeTheory/lambda'
|
||||||
|
|
||||||
|
links:
|
||||||
|
- icon: git-alt
|
||||||
|
icon_pack: fab
|
||||||
|
name: Repo
|
||||||
|
url: https://git.vatthauer.xyz/TypeTheory/lambda
|
||||||
|
url_code: ''
|
||||||
|
url_pdf: ''
|
||||||
|
url_slides: ''
|
||||||
|
url_video: ''
|
||||||
|
---
|
||||||
20
content/projects/nixos/index.md
Normal file
20
content/projects/nixos/index.md
Normal file
|
|
@ -0,0 +1,20 @@
|
||||||
|
---
|
||||||
|
title: 'NixOS Configuration'
|
||||||
|
summary: 'The configuration files (without secrets) for my home setups'
|
||||||
|
tags:
|
||||||
|
- Nix
|
||||||
|
date: '2024-04-05'
|
||||||
|
|
||||||
|
# Optional external URL for project (replaces project detail page).
|
||||||
|
external_link: 'https://git.vatthauer.xyz/leonv/nixos'
|
||||||
|
|
||||||
|
links:
|
||||||
|
- icon: git-alt
|
||||||
|
icon_pack: fab
|
||||||
|
name: Repo
|
||||||
|
url: https://git.vatthauer.xyz/leonv/nixos
|
||||||
|
url_code: ''
|
||||||
|
url_pdf: ''
|
||||||
|
url_slides: ''
|
||||||
|
url_video: ''
|
||||||
|
---
|
||||||
21
content/projects/pcf/index.md
Normal file
21
content/projects/pcf/index.md
Normal file
|
|
@ -0,0 +1,21 @@
|
||||||
|
---
|
||||||
|
title: 'PCF Interpreter and Typechecker'
|
||||||
|
summary: 'A small interpreter and typechecker for [PCF](https://en.wikipedia.org/wiki/Programming_Computable_Functions) (Programming Computable Functions)'
|
||||||
|
tags:
|
||||||
|
- Haskell
|
||||||
|
- Programming Languages
|
||||||
|
date: '2024-04-05'
|
||||||
|
|
||||||
|
# Optional external URL for project (replaces project detail page).
|
||||||
|
external_link: https://git.vatthauer.xyz/TypeTheory/PCF
|
||||||
|
|
||||||
|
links:
|
||||||
|
- icon: git-alt
|
||||||
|
icon_pack: fab
|
||||||
|
name: Repo
|
||||||
|
url: https://git.vatthauer.xyz/TypeTheory/PCF
|
||||||
|
url_code: ''
|
||||||
|
url_pdf: ''
|
||||||
|
url_slides: ''
|
||||||
|
url_video: ''
|
||||||
|
---
|
||||||
20
content/projects/resolution/index.md
Normal file
20
content/projects/resolution/index.md
Normal file
|
|
@ -0,0 +1,20 @@
|
||||||
|
---
|
||||||
|
title: 'Resolution Algorithm for FOL'
|
||||||
|
summary: 'An implementation of a resolution algorithm for first-order logic.'
|
||||||
|
tags:
|
||||||
|
- Haskell
|
||||||
|
date: '2024-04-05'
|
||||||
|
|
||||||
|
# Optional external URL for project (replaces project detail page).
|
||||||
|
external_link: 'https://git.vatthauer.xyz/TypeTheory/resolution'
|
||||||
|
|
||||||
|
links:
|
||||||
|
- icon: git-alt
|
||||||
|
icon_pack: fab
|
||||||
|
name: Repo
|
||||||
|
url: https://git.vatthauer.xyz/TypeTheory/resolution
|
||||||
|
url_code: ''
|
||||||
|
url_pdf: ''
|
||||||
|
url_slides: ''
|
||||||
|
url_video: ''
|
||||||
|
---
|
||||||
Loading…
Reference in a new issue