From d40ffcba2038275745f5fa473f5ca8084ae0c40a Mon Sep 17 00:00:00 2001 From: Navid Roux <navid.roux@fau.de> Date: Sun, 7 Nov 2021 19:49:48 +0000 Subject: [PATCH] Update nroux.md --- people/nroux.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/people/nroux.md b/people/nroux.md index 184d3bf..9ab797b 100644 --- a/people/nroux.md +++ b/people/nroux.md @@ -18,7 +18,7 @@ website: https://navid-roux.netlify.app/ --- ### Description -I am a Computer Science M.Sc. student ([they/them,he/him](http://pronoun.is/they?or=he)) with research interests in *knowledge representation and processing* of formal content +I am a Computer Science M.Sc. student ([they/he](http://pronoun.is/they?or=he)) with research interests in *knowledge representation and processing* of formal content such as foundations, logics, type theories, and math. My advisors are [Michael Kohlhase](https://kwarc.info/people/mkohlhase/) and [Florian Rabe](https://kwarc.info/people/frabe/) -- GitLab