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

_people/anouk.html

@@ -1,13 +1,13 @@
 ---
-title: Anouk Paradis
-position: PhD Student
+title: Dr. Anouk Paradis
+position: Post-Doc
 image: anouk.jpg
 email: [email protected]
 office: CNB H 100.5
 ---
 
 <h2>About me</h2>
-	<p>I am Anouk Paradis, 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>, starting October 2020.</p>
+	<p>I am Anouk Paradis, a former 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 was 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>, starting October 2020.</p>
 
 <h2>Education</h2>
 <p>

_people/jingxuan.html

@@ -1,5 +1,5 @@
 ---
-title: Jingxuan He
+title: Dr. Jingxuan He
 position: Post-Doc
 image: jingxuan.jpg
 email: [email protected]

people.html

@@ -32,7 +32,6 @@ <h1 class="page-title">{{ page.title | escape }}</h1>
           {% include get-person.html title="Yuhao Mao" %}
           {% include get-person.html title="Fiorella Meyer, Admin." %}
 					{% include get-person.html title="Niels Mündler" %}
-          {% include get-person.html title="Anouk Paradis" %}
           {% include get-person.html title="Momchil Peychev" %}
           {% include get-person.html title="Robin Staab" %}
           {% include get-person.html title="Mark Vero" %}
@@ -49,8 +48,9 @@ <h2>Current Thesis Students and Interns</h2>
     <tr><td><b>Elena Lyulina</b> Research in CS project student</td></tr>
     <tr><td><b>Ivan Milev</b> Master student</td></tr>
     <tr><td><b>Batuhan Tömekce</b> Master student</td></tr>
+    <tr><td><b>Mehrshad Mirmohammadi</b> Project intern</td></tr>
     <tr><td><b>Mert Ünsal</b> Project intern</td></tr>
-
+    <tr><td><b>Hanna Yukhymenko</b> Master student</td></tr>
 
 
         </table>
@@ -63,7 +63,8 @@ <h2>Past Sabbatical Visitors</h2>
 
         <h2>Past PhD students and Post-Docs in the group</h2>
          <ul>
-         <li> <a href="{{"/people/jingxuan" | relative_url }}">Jingxuan He</a>, now Post-Doc at <a href="https://www.berkeley.edu//" target="_blank"> UC Berkeley</a> working with Prof. Dawn Song</li>
+         <li> <a href="{{"/people/anouk" | relative_url }}">Dr. Anouk Paradis</a></li>
+         <li> <a href="{{"/people/jingxuan" | relative_url }}">Dr. Jingxuan He</a>, now Post-Doc at <a href="https://www.berkeley.edu//" target="_blank"> UC Berkeley</a> working with Prof. Dawn Song</li>
          <li> <a href="{{"/people/max" | relative_url }}">Dr. Max Baader</a>, now Post-Doc at <a href="https://www.sri.inf.ethz.ch/" target="_blank">SRI Lab</a></li>
          <li> <a href="{{"/people/mark" | relative_url }}">Dr. Mark Niklas Müller</a>, Co-founder and Chief Technology Officer at <a href="https://www.logicstar.ai/" target="_blank">LogicStar AI</a></li>
          <li> <a href="{{"/people/benjamin" | relative_url }}">Dr. Benjamin Bichsel</a>, Co-founder and CEO at <a href="https://netfabric.ai/" target="_blank">NetFabric</a>, awarded with the ETH Medal <img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom e.com"/> for outstanding doctoral thesis and with the <a href="https://www.sigplan.org/Awards/Dissertation/">ACM SIGPLAN John J. Reynolds Doctoral Dissertation Award </a><img style="heigth: 18px; width: 18px;" src="/assets/images/award.png" title="CC BY 4.0 by @fontawesome - https://fontawesom e.com"/></li>