Skip to content

Commit

Permalink
some alumni movements
Browse files Browse the repository at this point in the history
  • Loading branch information
fredrikNordvallForsberg committed Oct 31, 2023
1 parent eede264 commit 069a002
Showing 1 changed file with 8 additions and 10 deletions.
18 changes: 8 additions & 10 deletions people.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down Expand Up @@ -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.
Expand Down Expand Up @@ -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
Expand Down

0 comments on commit 069a002

Please sign in to comment.