Correct links and formatting

Author: benmandrew

_includes/header.html

@@ -21,7 +21,7 @@
     <a class="button" style="float: right;" href="https://github.com/benmandrew">
       GitHub
     </a>
-    <a class="button" style="float: right;" href="{{ site.s3_path }}/CV.pdf">
+    <a class="button" style="float: right;" href="{{ site.s3_path }}/cv.pdf">
       CV
     </a>
     <a href="javascript:void(0);" class="icon" onclick="toggle_topnav()">

_layouts/home.html

@@ -24,7 +24,7 @@ <h2 id="about">Hello!</h2>
           I'm a PhD researcher at the University of Manchester, investigating ways to mathematically prove the safety and reliability of robots. I'm supervised by <a href="https://mariefarrell.github.io">Marie Farrell</a>, <a href="http://www.cs.man.ac.uk/~dennisl/index.html">Louise Dennis</a>, and <a href="https://web.cs.manchester.ac.uk/~michael/">Michael Fisher</a>, working in the <a href="https://autonomy-and-verification.github.io">Autonomy and Verification Group</a>.
         </p>
 
-        <p>Previously I worked at <a href="https://tarides.com">Tarides</a>, developing open-source tooling for the OCaml ecosystem.</p>
+        <p>Previously I worked at <a href="https://tarides.com">Tarides</a> in Paris, developing open-source tooling for the OCaml ecosystem.</p>
 
         <p>I enjoy making computer science more accessible, whether by writing articles, making fun interactive projects, or just rambling to passers-by. You can check out my blog <a href="/articles">here</a>.</p>
     </div>
@@ -44,12 +44,25 @@ <h5 class="card-body" style="margin-bottom: 1px;">{{ site.posts[i].title | escap
         </div>
         {%- endfor -%}
       </div>
+    </div>
 
+      <div style="padding-top: 30px;">
+        <h2>Professional Activities</h2>
+        <hr>
+        <ul>
+          <li>
+            Part of the local organising committee of <a href="https://ifm2024.cs.manchester.ac.uk">the 19th International Conference on Integrated Formal Methods 2024</a>.
+          </li>
+          <li>
+            Member of the <a href="https://autonomy-and-verification.github.io">Autonomy and Verification Network</a>.
+          </li>
+        </ul>
       </div>
+
       <div style="padding-top: 30px;">
-        <h2 id="teaching">Teaching</h2>
+        <h2 id="teaching">Teaching Experience</h2>
         <hr>
-        <h5>University of Manchester — Graduate Teaching Assistant</h5>
+        <p><b>University of Manchester</b>, Graduate Teaching Assistant</p>
         <ul>
           <li style="margin-bottom: 5px;">
             Automated Reasoning and Verification (2024)
@@ -61,7 +74,7 @@ <h5>University of Manchester — Graduate Teaching Assistant</h5>
             Mathematical Techniques for Computer Science (2024)
           </li>
         </ul>
-        <h5>University of Cambridge — Supervisor (TA equiv.)</h5>
+        <p><b>University of Cambridge</b>, Supervisor (TA equiv.)</p>
         <ul>
           <li style="margin-bottom: 5px;">
             Hoare Logic and Model Checking [<a href="https://www.cl.cam.ac.uk/teaching/2324/HLog+ModC/">link</a>] (2023, 2022)
@@ -77,6 +90,7 @@ <h5>University of Cambridge — Supervisor (TA equiv.)</h5>
           </li>
         </ul>
       </div>
+
       <div style="padding-top: 10px;">
         <h2 id="presentations">Presentations</h2>
         <hr>
@@ -91,6 +105,7 @@ <h2 id="presentations">Presentations</h2>
           </li>
         </ul>
       </div>
+
       <div style="padding-bottom: 100px;"></div>
     </div>
   </div>