Updated text, added photos, added Maxi

Author: MKrale

_data/members.yml

@@ -196,6 +196,29 @@
   orcid_id: 0000-0001-7765-8140
   research_gate_profile: Marcel-Neuhausen
 
+- firstname: Maximilian
+  lastname: Weininger
+  position: Postdoc
+  image: maximilian.png
+  url: 
+  teaser: >
+    My work revolves around formal verification of safety-critical systems.
+    The main branch of my work is concerned with the model of stochastic games, 
+    which are probabilistic systems exhibiting controlled as well as adversarial 
+    non-determinism. Another branch of my work considers compact and explainable 
+    representation of controllers.
+  interests: 
+    - formal verification
+    - stochastic games
+    - explainable AI
+  # social
+  linkedin_username: maximilian-weininger-670ba5214
+  scholar_userid: 88fkEooAAAAJ
+  orcid_id: 0000-0002-0163-2152
+  research_gate_profile: Maximilian-Weininger
+  dblp_url: https://dblp.org/pid/194/2910.html
+
+
 ### RADBOUD - FORMER ###
 
 - firstname: Christoph

_pages/about.md

@@ -6,7 +6,7 @@ subtitle: Combining Artificial Intelligence with Formal Methods.
 
 profile:
   align: left
-  image: members/team.jpg
+  image: members/BochumTriangle.jpeg
   image_circular: false # crops the image to make it circular
   address: >
     <p>Mercator 1 Building</p>
@@ -18,6 +18,18 @@ selected_papers: false # includes a list of papers marked as "selected={true}"
 social: true  # includes social icons at the bottom of the page
 ---
 
-AI-FM (Artificial Intelligence & Formal Methods) is a research group headed by <a href="https://nilsjansen.org/" target="_blank">Prof. Dr. Nils Jansen</a>, with members of both the Ruhr University Bochum and Radboud University Nijmegen.
-We conduct broad foundational and application-driven research in artificial intelligence (AI), in particular neurosymbolic AI, which we combine with the area of formal methods (FM).
-We tackle problems that are inspired by autonomous systems, industrial projects, and in particular planning problems in robotics.
+AI-FM (Artificial Intelligence & Formal Methods) is a research group headed by <a href="https://nilsjansen.org/" target="_blank">Prof. Dr. Nils Jansen</a>, with members of both the Ruhr University Bochum (RUB) and Radboud University Nijmegen.
+Our group has a mission: 
+
+**Increase the trustworthiness of Artificial Intelligence (AI)**
+
+We conduct broad foundational and application-driven research. Our vision of neurosymbolic AI brings together the areas of machine learning and formal methods, in particular, formal verification. We tackle problems that are inspired by autonomous systems and planning problems in robotics.
+
+The following goals are central to our efforts:
+* Increase the dependability of AI in safety-critical environments.
+* Render AI models robust against uncertain knowledge about their environment.
+* Enhance the capabilities of formal verification to handle real-world problems using learning techniques.
+
+We are interested in various aspects of dependability and safety in AI, intelligent decision-making under uncertainty, and safe reinforcement Learning. A key aspect of our research is a thorough understanding of the (epistemic or aleatoric) uncertainty that may occur when AI systems operate in the real world.
+
+For additional information on the education provided by the AI-FM chair at the RUB, see our <a href="https://informatik.rub.de/en/research/chairs/aifm/" target="_blank">official RUB page</a>.

_pages/photos.md

@@ -9,21 +9,36 @@ nav_order: 4
 
 <div class="row">
     <div class="col-sm mt-3 mt-md-0">
-        {% include figure.html path="assets/img/photo_gallery/BochumTriangle.jpg" title="Group photo februari 2024" class="img-fluid rounded z-depth-1" %}
+        {% include figure.html path="assets/img/photo_gallery/BochumTriangle2.jpg" title="Group photo februari 2025" class="img-fluid rounded z-depth-1" %}
     </div>
 </div>
 <div class="caption">
     Group picture in Bochum.
 </div>
 
+
+## PhD Defense Thom Badings
+
+<div class="row">
+    <div class="col-sm mt-3 mt-md-0">
+        {% include figure.html path="assets/img/photo_gallery/DefenseThomGroup.jpg" title="Group Picture at Thoms PhD defense." class="img-fluid rounded z-depth-1" %}
+    </div>
+    <div class="col-sm mt-3 mt-md-0">
+        {% include figure.html path="assets/img/photo_gallery/DefenseThomCertificate.jpg" title="Thom receives his PhD certificate" class="img-fluid rounded z-depth-1" %}
+    </div>
+</div>
+<div class="caption">
+	Photos at the PhD defense of Thom Badings.
+</div>
+
 ## Christmas in Bochum
 
 <div class="row">
     <div class="col-sm mt-3 mt-md-0">
-        {% include figure.html path="assets/img/photo_gallery/BochumPainting1.jpg" title="Nils Jansens inauguration speech." class="img-fluid rounded z-depth-1" %}
+        {% include figure.html path="assets/img/photo_gallery/BochumPainting1.jpg" title="Christmas activity in Bochum." class="img-fluid rounded z-depth-1" %}
     </div>
     <div class="col-sm mt-3 mt-md-0">
-        {% include figure.html path="assets/img/photo_gallery/BochumPainting2.jpg" title="Group photo at Nils Jansens inauguration speech" class="img-fluid rounded z-depth-1" %}
+        {% include figure.html path="assets/img/photo_gallery/BochumPainting2.jpg" title="Christmas activity in Bochum." class="img-fluid rounded z-depth-1" %}
     </div>
 </div>
 <div class="caption">
@@ -34,7 +49,7 @@ nav_order: 4
 
 <div class="row">
     <div class="col-sm mt-3 mt-md-0">
-        {% include figure.html path="assets/img/photo_gallery/WietzeThesis.jpg" title="Group photo februari 2024" class="img-fluid rounded z-depth-1" %}
+        {% include figure.html path="assets/img/photo_gallery/WietzeThesis.jpg" title="Wietze receives a Best Thesis Award" class="img-fluid rounded z-depth-1" %}
     </div>
 </div>
 <div class="caption">