Merge pull request formal-methods-mpi#141 from formal-methods-mpi/aar…

…onpeikert-patch-2 add Hannes
lmu-osc · Nov 8, 2023 · bdc9e12 · bdc9e12
2 parents 4d6ba7b + 0367a34
commit bdc9e12
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/docs/src/index.md b/docs/src/index.md
@@ -46,4 +46,5 @@ By thoughtfully engaging with the workshop content and activities, you'll be wel
 ## Who we are
 - [Maximilian Ernst](https://github.com/Maximilian-Stefan-Ernst) is a PhD Student at the Max Planck School of Cognition.
 - [Moritz Ketzer](https://www.mps-ucl-centre.mpg.de/people/126423) is a PhD student at the International Max Planck Research School on Computational Methods in Psychiatry and Ageing Research.
-- [Aaron Peikert](https://www.mpib-berlin.mpg.de/person/103737/2549) is principle investigator of the Formal Methods group at the Max Planck Institute for Human Development.
+- [Hannes Diemerling](https://www.mpib-berlin.mpg.de/staff/hannes-diemerling) is a PhD Studen at the International Max Planck Research School on the Life Course (LIFE).
+- [Aaron Peikert](https://www.mpib-berlin.mpg.de/person/103737/2549) is principle investigator of the Formal Methods group at the Max Planck Institute for Human Development.