update projects and people

grants-and-projects.html

@@ -7,19 +7,19 @@ <h3>Current Grants</h3>
 <dl>
 
   <dt>
-    <a href="https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/Y000455/1">A correct-by-construction approach to approximate computation</a>
+    Quantitative Predicate Logic as a Foundation for Verified ML
   </dt>
   <dd>
-    <p>1st November 2023 to 31st October 2027</p>
-    <p>Radu Mardare, Fredrik Nordvall Forsberg, and Neil Ghani.</p>
+    <p>12th September 2024 to 31st August 2025</p>
+    <p>Robert Atkey, joint with Katya Komendantskaya, Radu Mardare and Matteo Capucci. Funded by <a href="https://www.aria.org.uk/opportunity-spaces/mathematics-for-safe-ai/safeguarded-ai/">ARIA Safeguarded AI</a>.</p>
   </dd>
 
   <dt>
-    Trusted Systems
+    <a href="https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/Y000455/1">A correct-by-construction approach to approximate computation</a>
   </dt>
   <dd>
-    <p>October 2019 to June 2024.</p>
-    <p>Conor McBride, Fredrik Nordvall Forsberg, and Neil Ghani. Funded by <a href="https://www.npl.co.uk/">NPL</a>.</p>
+    <p>1st November 2023 to 31st October 2027</p>
+    <p>Fredrik Nordvall Forsberg and Neil Ghani, joint with Radu Mardare.</p>
   </dd>
 
 </dl>
@@ -28,6 +28,14 @@ <h4>Previous Grants</h4>
 
 <dl>
 
+  <dt>
+    Trusted Systems
+  </dt>
+  <dd>
+    <p>October 2019 to June 2024.</p>
+    <p>Conor McBride, Fredrik Nordvall Forsberg, and Neil Ghani. Funded by <a href="https://www.npl.co.uk/">NPL</a>.</p>
+  </dd>
+
   <dt>
     <a href="https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/T026960/1">AISEC: AI Secure and Explainable by Construction</a>
   </dt>

people.md

@@ -18,11 +18,6 @@ at the University of Strathclyde and comprises
     [here](http://www.cis.strath.ac.uk/~ng/neil.jpg) is a picture of
     Neil.
 
-[Prof. Glynn Winskel](https://pureportal.strath.ac.uk/en/persons/glynn-winskel)
-
-:   who works on mathematical models of interaction such as distributed games and event structures.
-    Contact Glynn at [glynn.winskel [at] strath.ac.uk](mailto:glynn.winskel [at] strath.ac.uk).
-
 [Dr Conor McBride](http://www.strath.ac.uk/staff/mcbrideconordr/)
 
 :   who is currently working on dependently typed programming. He is
@@ -148,6 +143,11 @@ Samuel Fish
 
 ### Alumni ###
 
+Prof. Glynn Winskel
+
+:   who worked on mathematical models of interaction such as distributed games and event structures.
+
+
 Prof. Radu Mardare
 
 :   who worked on mathematical tools for modelling and reasoning about systems,

people.yaml

@@ -19,18 +19,6 @@
   phd-topics:
     - "Categorical Machine Learning"
 
-- name: "Glynn Winskel"
-  ident: "glynn"
-  title: "Prof"
-  status: "academic"
-  email: "[email protected]"
-  links:
-    - href: "https://pureportal.strath.ac.uk/en/persons/glynn-winskel"
-      rel: "pure"
-  description:
-    who works on mathematical models of interaction such as distributed games
-    and event structures.
-
 - name: "Conor McBride"
   pronouns: "he/him"
   ident: "conor"
@@ -427,6 +415,19 @@
 ##############################################################################
 ## Alumni
 
+- name: "Glynn Winskel"
+  ident: "glynn"
+  title: "Prof"
+  status: "alum"
+  email: "[email protected]"
+  links:
+    - href: "https://pureportal.strath.ac.uk/en/persons/glynn-winskel"
+      rel: "pure"
+  description:
+    who works on mathematical models of interaction such as distributed games
+    and event structures.
+
+
 - name: "William Waites"
   ident: "william"
   title: "Dr"