diff --git a/courses/theses.md b/courses/theses.md
index 2414e590faa4452ba4bd2f738da3b14144b97b95..c2dbe446bea9ec3386fba049593a969e8c2c6ef7 100644
--- a/courses/theses.md
+++ b/courses/theses.md
@@ -12,12 +12,12 @@ menu_order: 101
 * Vyacheslav Zholudev: *[Enhancing XML Preservation and Workflows](https://opus.jacobs-university.de/frontdoor/index/index/docId/23)*, Jacobs University, VI 2012. 
 * Christoph Lange: *[Enabling Collaboration on Semiformal Mathematical Knowledge by
       Semantic Web Integration](https://opus.jacobs-university.de/frontdoor/index/index/docId/434)*, Jacobs University, III 2011. 
-* Christine M\"uller: *[Adaptation of Mathematical Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/252)*,  Jacobs University, V 2010. 
-* Normen M\"uller: *[Change Management on Semi-Structured Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/227)*,  Jacobs University, VIII 2010.
+* Christine Müller: *[Adaptation of Mathematical Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/252)*,  Jacobs University, V 2010. 
+* Normen Müller: *[Change Management on Semi-Structured Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/227)*,  Jacobs University, VIII 2010.
 * Immanuel Normann: *[Automated Theory Interpretation](https://opus.jacobs-university.de/frontdoor/index/index/docId/336)*, Jacobs  University, XII 2008.
 * Florian Rabe: *[Representing Logics and Logic Translations](https://opus.jacobs-university.de/frontdoor/index/index/docId/344)*, Jacobs University, VI 2008. 
 * Karsten Konrad: *Model Generation for Natural Lanugage Interpretation and Analysis*, Universtät des Saarlandes, IV 2000.
-* Christoph Benzm\"uller: *Equality and Extensionality in Higher-Order Theorem Proving*, Universtät des Saarlandes, V 1999.
+* Christoph Benzmüller: *Equality and Extensionality in Higher-Order Theorem Proving*, Universtät des Saarlandes, V 1999.
 * Susanna Kuschert: *Dynamic Meaning and Accomodation*,  Universtät des Saarlandes, II 1999, 
 
 ### M.Sc Theses
@@ -66,7 +66,7 @@ Jacobs University, 2013.
     Generation*, CMU, 2004.
 * Sarah Eisenhardt: *Model Generation for Negations in Natural
     Language*, CMU,  2004.
-* Andreas Franke: *\textsc{MBase}, A Mathematical Knowledge Base*, Universtät des Saarlandes, 2003. 
+* Andreas Franke: *MBase, A Mathematical Knowledge Base*, Universtät des Saarlandes, 2003. 
 * Stephan Walther: *Model Generation and Dynamic Semantics*, Universtät des Saarlandes, 2001. 
 * Aljoscha Burkard: *Resource-adaptive Model
     Generation for Natural Language Understanding*, Universtät des Saarlandes, 2001.