diff --git a/people/nroux.md b/people/nroux.md index 184d3bfc5660c44f5f8e52c9e29c8d5b7fe2da76..9ab797bdbfba85ef19dc06c0f46981fb66756e64 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/)