From 069a00274003f2dc94efbabe958a70a325045744 Mon Sep 17 00:00:00 2001 From: Fredrik Nordvall Forsberg Date: Tue, 31 Oct 2023 09:58:14 +0000 Subject: [PATCH] some alumni movements --- people.md | 18 ++++++++---------- 1 file changed, 8 insertions(+), 10 deletions(-) diff --git a/people.md b/people.md index 3df3c0d..bab76d3 100644 --- a/people.md +++ b/people.md @@ -99,11 +99,6 @@ Dr William Waites : who is interested in dependent types, linear types and other substructural friends, lightweight verification, and verification of machine learning. See [Wen's homepage](https://wen.works) or email [wen.kokke [at] strath.ac.uk](mailto:wen.kokke [at] strath.ac.uk). -Ethel Morgan - -: who works with William Waites on tooling for modelling infectious diseases. - See [Eth's homepage](https://personal.cis.strath.ac.uk/ethel.morgan/) or email [ethel.morgan [at] strath.ac.uk](mailto:ethel.morgan [at] strath.ac.uk). - Stevan Andjelkovic : who is a PhD student under Conor McBride's direction. @@ -140,11 +135,6 @@ Malin Altenmüller : who is a PhD student under Conor McBride's direction. -Bruno Gavranović - -: who is a PhD student under Neil Ghani's direction. - [Bruno's homepage](https://www.brunogavranovic.com/). - Georgi Nakov : who is a PhD student under Fredrik Nordvall Forsberg's direction. @@ -190,6 +180,14 @@ Dilsat Yuksel ### Alumni ### +Ethel Morgan + +: who worked as a Research Software Engineer in the group. + +[Dr Bruno Gavranović](https://www.brunogavranovic.com/) + +: who was a PhD student under Neil Ghani's direction. Bruno's thesis, successfully defended 2023, is entitled "Fundamental components of deep learning: a category-theoretic approach". + [Dr Jérémy Ledent](https://www.irif.fr/~ledent/) : who worked as an RA on Neil Ghani's project Compisitional Game Theory