diff --git a/people/nroux.md b/people/nroux.md
index 4599fd51362ff19efd40bf6625d231e9e2e1c002..9995b8c9c34f85ba28a1146bce3f607a91b70d60 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: