Update experiences

assets/media/icons/brands/fau.svg

@@ -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>

assets/media/icons/brands/leicester.svg

@@ -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>

content/_index.md

@@ -19,6 +19,77 @@ 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: 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
     id: contact
     content:
@@ -27,8 +98,11 @@ sections:
       text: |-
         You can reach me by mail or via Discord.
       # Contact (add or remove contact options as necessary)
-      email: leon.vatthauer _at_ fau.de
       contact_links:
+        - icon: envelope
+          icon_pack: fas
+          name: leon.vatthauer _at_ fau.de
+          link: mailto:leon.vatthauer@fau.de
         - icon: discord
           icon_pack: fab
           name: Leon#4082

content/authors/admin/_index.md

@@ -28,7 +28,7 @@ bio: ''
 
 # Interests to show in About widget
 interests:
-  - Programming Language Semantics
+  - Programming Languages
   - Functional Programming
   - Proof Assistants
   - Type Theories

content/project/example/index.md

@@ -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.

content/project/external-project/index.md

@@ -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
----

content/projects/algprog/index.md

@@ -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: ''
+---

content/projects/ba/index.md

@@ -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: ''
+---

content/projects/lambda/index.md

@@ -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: ''
+---

content/projects/nixos/index.md

@@ -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: ''
+---

content/projects/pcf/index.md

@@ -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: ''
+---

content/projects/resolution/index.md

@@ -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: ''
+---