From 99eb9227a4dc5557a364b2d4af8ac953fb9f7bfd Mon Sep 17 00:00:00 2001 From: Jan de Muijnck-Hughes Date: Tue, 12 Sep 2023 13:27:01 +0100 Subject: [PATCH] [ new start ] added Jan as lecturer. (#17) Co-authored-by: Jan de Muijnck-Hughes --- people.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/people.md b/people.md index 8aa8efc..b7ce47c 100644 --- a/people.md +++ b/people.md @@ -74,6 +74,11 @@ Dr William Waites : who is interested in efficient runtime representations, generic programming, proof automation, and user experience. See [Guillaume's homepage](http://gallais.github.io/) or email [guillaume.allais [at] strath.ac.uk](guillaume.allais [at] strath.ac.uk). +[Dr Jan de Muijnck-Hughes](https://www.strath.ac.uk/staff/de_muijnck-hughesjandr/) + +: who is interested in dependent types, type theory and programming language design and their application in making systems more trustworthy. + See [Jan's homepage](https://tyde.systems) for more information or email [Jan.de-Muijnck-Hughes [at] strath.ac.uk]([Jan.de-Muijnck-Hughes [at] strath.ac.uk). + [Dr Jade Master](https://pureportal.strath.ac.uk/en/persons/jade-master/) : who is interested in the compositionality of formal verification and programming within a coalgebraic framework.