From 5a833e4e065ee1e118bba1cd732f157b5fc13b88 Mon Sep 17 00:00:00 2001 From: Navid Roux <navid.roux@fau.de> Date: Thu, 19 Jan 2023 18:15:39 +0000 Subject: [PATCH] Update nroux.md --- people/nroux.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/people/nroux.md b/people/nroux.md index 4599fd5..9995b8c 100644 --- a/people/nroux.md +++ b/people/nroux.md @@ -18,13 +18,13 @@ website: https://navid-roux.netlify.app/ --- ### Description -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 +I ([they/he](http://pronoun.is/they?or=he)) am a research assistant at kwarc after having previously obtained my M.Sc. degree at FAU. My primary research interest is *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/) ### Current Work -- **Master's Thesis:** developing a framework of meta-programming operators on formalizations (in theory and [for the MMT system](https://kwarc.info/systems/mmt/)) that allows such operators to be easily specified, verified, and implemented. Operators translate specifications/theories/signatures over a logical framework to new ones. +- **Master's Thesis:** (todo: long submitted, need to update this website) developing a framework of meta-programming operators on formalizations (in theory and [for the MMT system](https://kwarc.info/systems/mmt/)) that allows such operators to be easily specified, verified, and implemented. Operators translate specifications/theories/signatures over a logical framework to new ones. Examples of operators: -- GitLab