Merge branch 'master' of https://github.com/eth-sri/eth-sri.github.io

_people/benjamin.html

@@ -1,5 +1,5 @@
 ---
-title: Benjamin Bichsel
+title: Dr. Benjamin Bichsel
 position: PhD Student
 image: beni.jpg    
 email: [email protected]

_people/jasper.html

@@ -0,0 +1,47 @@
+---
+title: Jasper Dekoninck
+position: PhD student
+image: jasper.jpg    
+email: [email protected]
+office: CNB H 100.5
+website: 
+cv:
+
+---
+
+<h2>About me</h2>
+		<p>I am Jasper Dekoninck, a PhD student at the <a href="http://www.inf.ethz.ch/">Department of Computer Science</a>, <a href="http://www.ethz.ch/">ETH Z&uumlrich</a>. I am part of the <a href="{{ "/" | relative_url }}">Secure, Reliable, and Intelligent Systems Lab</a>, supervised by <a href="{{ "/people/martin" | relative_url }}">Martin Vechev</a>, since November 2023.</p>
+
+<h2>Education</h2>
+<p>
+  <ul>
+    <li><b>ETH Zurich</b>, since November 2023</br>
+      PhD Candidate in Computer Science</li>
+    <li><b>ETH Zurich</b>, 2021 - 2023</br>
+      Masters Studies</li>
+    <li><b>KU Leuven</b>, 2018 - 2021</br>
+      Bachelor Studies in Mathematics and Physics</li>
+  </ul>
+</p>
+
+<h2>Teaching</h2>
+<p>
+  <ul>
+    <li><b></b>
+    </br>
+    </li>
+  </ul>
+</p>
+
+<h2>Awards</h2>
+<p>
+  <ul>
+    <li><b></b>
+    </br>
+    </li>
+  </ul>
+</p>
+
+<h2>Publications</h2>
+
+{% include get-publications.html filter="person" key="Jasper Dekoninck" %}

_teaching/rtai23.html

@@ -232,10 +232,20 @@ <h2 id="lectures">Lectures</h2>
 			</a>
 		</td>
 		<td>
-
+			<a href="https://files.sri.inf.ethz.ch/website/teaching/reliableai2023/materials/exercises/exercise_7/exercise-7.pdf" class="pdf" title="Exercise 7">
+				<img src="/assets/icons/icon-pdf.svg" class="svg-icon" border="0" alt="PDF">
+			</a>
+			<a href="https://files.sri.inf.ethz.ch/website/teaching/reliableai2023/materials/exercises/exercise_7/Exercise7.ipynb" class="zip" title="Code Exercise 7">
+				<img src="/assets/icons/icon-download.svg" class="svg-icon" border="0" alt="PDF">
+			</a>
 		</td>
 		<td>
-
+			<a href="https://files.sri.inf.ethz.ch/website/teaching/reliableai2023/materials/exercises/exercise_7/solution-7.pdf" class="pdf" title="Solution 7">
+				<img src="/assets/icons/icon-pdf.svg" class="svg-icon" border="0" alt="PDF">
+			</a>
+			<a href="https://files.sri.inf.ethz.ch/website/teaching/reliableai2023/materials/exercises/exercise_7/Solution7.ipynb" class="zip" title="Code Solution 7">
+				<img src="/assets/icons/icon-download.svg" class="svg-icon" border="0" alt="PDF">
+			</a>
 		</td>
 </tr>
 

people.html

@@ -22,11 +22,12 @@ <h1 class="page-title">{{ page.title | escape }}</h1>
 
         <div class="grid">
           {% include get-person.html title="Prof. Dr. Martin Vechev" %}
+          {% include get-person.html title="Dr. Benjamin Bichsel" %}
           {% include get-person.html title="Dr. Timon Gehr" %}
           {% include get-person.html title="Maximilian Baader" %}
           {% include get-person.html title="Luca Beurer-Kellner" %} 
 	        {% include get-person.html title="Mislav Balunović" %}
-          {% include get-person.html title="Benjamin Bichsel" %}
+          {% include get-person.html title="Jasper Dekoninck" %}
           {% include get-person.html title="Dimitar I. Dimitrov" %}
           {% include get-person.html title="Marc Fischer" %}
           {% include get-person.html title="Jingxuan He" %}
@@ -47,11 +48,13 @@ <h2>Current Thesis Students and Interns</h2>
     <tr><td><b>László Dirks</b> Mobility project student</td></tr>
     <tr><td><b>Daniel Frey</b> Master student</td></tr>
     <tr><td><b>Slobodan Jenko</b> Project Intern</td></tr>
+    <tr><td><b>Philipp Guldimann</b> Project Intern</td></tr>
     <tr><td><b>Gabriela Krasnopolska</b> Master student</td></tr>
-    <tr><td><b>Johan Lokna</b> Project intern</td></tr>
     <tr><td><b>Shuang Luo</b> Project student</td></tr>
     <tr><td><b>Ivan Milev</b> Project intern</td></tr>
     <tr><td><b>Jan Luca Scheerer</b> Master student</td></tr>
+    <tr><td><b>Alexander Spiridonov</b> Project Intern</td></tr>
+
 
 
         </table>
@@ -64,6 +67,7 @@ <h2>Past Sabbatical Visitors</h2>
 
         <h2>Past PhD students and Post-Docs in the group</h2>
          <ul>
+         <li> <a href="{{"/people/matthew" | relative_url }}">Dr. Benjamin Bichsel, now Post-Doc at <a href="https://www.sri.inf.ethz.ch/" target="_blank">SRI Lab</a></li>
          <li> <a href="{{"/people/pesho" | relative_url }}">Dr. Pesho Ivanov</a>, now Post-Doc at <a href="https://medvedevgroup.com/" target="_blank">Prof. Paul Medvedev's lab at Penn State</a></li>
          <li> <a href="{{"/people/nikolakonstantinov" | relative_url }}">Dr. Nikola Konstantinov</a>, now tenure-track faculty at <a href="https://insait.ai/" target="_blank">INSAIT</a></li>
          <li> <a href="{{"/people/samuel" | relative_url }}">Dr. Samuel Steffen</a>, now Senior Software Engineer at <a href="https://www.veezoo.com/" target="_blank">Veezoo</a></li>

topics.html

@@ -61,8 +61,8 @@ <h3>Past B.Sc./M.Sc. Thesis Students</h3>
 
 <tr><th>Name</th><th>Institution</th><th>Type</th><th>Position after thesis</th></tr>		
 
-<tr><td>Jasper Dekoninck</td><td>ETH</td><td>M.Sc.</td><td></td></tr>
-<tr><td>Abra Ganz</td><td>ETH</td><td>M.Sc.</td><td></td></tr>
+<tr><td>Jasper Dekoninck</td><td>ETH</td><td>M.Sc.</td><td>PhD student @ SRI</td></tr>
+<tr><td>Abra Ganz</td><td>ETH</td><td>M.Sc.</td><td>Researcher at Digital Ethics Center (DEC), Yale University</td></tr>
 <tr><td>Tristan Girard</td><td>LatticeFlow</td><td>M.Sc.</td><td></td></tr>
 <tr><td>Johan Lokna</td><td>ETH</td><td>M.Sc.</td><td></td></tr>
 <tr><td>Yuhao Mao</td><td>ETH</td><td>M.Sc.</td><td>PhD student @ SRI</td></tr>
@@ -74,7 +74,7 @@ <h3>Past B.Sc./M.Sc. Thesis Students</h3>
 <tr><td>Roman Angehrn</td><td>ETH</td><td>M.Sc.</td><td>Senior Data Scientist at Wüest Partner</td></tr>
 <tr><td>Fabian Bosshard</</td><td>LatticeFlow</td><td>M.Sc.</td><td>Maching Learning Engineer at LatticeFlow</td></tr>
 <tr><td>Florian Dorner</td><td>ETH</td><td>M.Sc.</td><td>PhD student at <a href="https://www.mpg.de/1342929/intelligent-systems-tuebingen">Max-Planck-Institute Tübingen</a></td></tr>
-<tr><td>Franziska Eckert</td><td>ETH</td><td>M.Sc.</td><td><span><img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom    e.com"/></span> <font color="#d74141">ETH Medal for outstanding Master thesis</font></br>project intern @ SRI </td></tr>
+<tr><td>Franziska Eckert</td><td>ETH</td><td>M.Sc.</td><td><span><img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom    e.com"/></span> <font color="#d74141">ETH Medal for outstanding Master thesis</font></br>Data Scientist at Swiss National Bank SNB</td></tr>
 <tr><td>Gabriel Fringeli</</td><td>Snyk</td><td>M.Sc.</td><td>Software Engineer at <a href="https://snyk.io/de/">Snyk</a></td></tr>
 <tr><td>Martin Kucera</td><td>ETH</td><td>M.Sc.</td><td>Software Engineer at Google</td></tr>
 <tr><td>Wenjie Qiu</td><td>LatticeFlow</td><td>M.Sc.</td><td>PhD student at Rutgers, CS Dept.</td></tr>