I completed my undergraduate studies at [Jacobs University](https://www.jacobs-university.de/).
The topic of my bachelor thesis was *"Declaration Spotting in Mathematical Documents"*.
You can find it [here](https://gl.kwarc.info/supervision/BSc-archive/blob/master/2016/schaefer-frederick.pdf).
After working as a backend software engineer for Skype in Prague, Czech Republic,
I returned to university and am now a master student at [FAU](https://www.fau.de/),
I returned to university to pursue a master's degree and now a PhD at [FAU](https://www.fau.de/),
following the KWARC research group's relocation to South Germany.
My research interest is still in the realm of math linguistics, i.e. processing and understanding the language of mathematical/technical documents.
Mathematical language is very different from natural language in several ways (formulas, introducing new words on the go, etc.), making it a very fascinating topic.
My research interest is in the area of math linguistics, i.e. processing and understanding the language of mathematical/technical documents.
Mathematical language is very different from natural language in several ways (formulas, introducing new words on the go, high precision, etc.), making it a very fascinating topic.
