We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent cd9c2ff commit 4b8de64Copy full SHA for 4b8de64
_data/members.yml
@@ -199,7 +199,7 @@
199
- firstname: Maximilian
200
lastname: Weininger
201
position: Postdoc
202
- image: maximilian.png
+ image: maximilian.jpg
203
url:
204
teaser: >
205
My work revolves around formal verification of safety-critical systems.
_pages/about.md
@@ -6,7 +6,7 @@ subtitle: Combining Artificial Intelligence with Formal Methods.
6
7
profile:
8
align: left
9
- image: members/BochumTriangle.jpeg
+ image: members/BochumTriangle.jpg
10
image_circular: false # crops the image to make it circular
11
address: >
12
<p>Mercator 1 Building</p>
0 commit comments