Semantics extraction for assistive tools for scientists with disabilities (Bachelor or Master)
There is a study that about 9% of the internet users have disabilities that make reading difficult (blindness, dyslexia, ...). For regular web pages, books, etc. there are assistive technologies like screen readers like Jaws (Windows) or voiceover. Recently, these have acquired functionality to deal with MathML (e.g. MathML3 is now part of the DAISY and ARIA standards).
But the functionality is only as good as the input ("junk-in->junk-out" principle), so a formula like
If we had a system for semantics extraction (see #2 for an example) we could generate better input for screen readers and annotate it into the documents. Semantics extraction + integration into screen readers is a topic that could be in part (Bachelor) or fully (Master) tackled in a thesis.
We have excellent contacts into the assistive technologies community that would lead to real-world deployments and thus real-world impact.