Skip to content
Snippets Groups Projects
Commit ce01477e authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

Merge branch 'master' of gl.kwarc.info:kwarc/kwarc.info/www

parents c9110f1f 95163ba6
No related branches found
No related tags found
No related merge requests found
Pipeline #1295 passed
......@@ -23,6 +23,10 @@ I am working MathHub, a hub of mathematical knowledge, and related projects with
In my free time I like to code and make random tweets.
### Contact
Email: firstname + “.” + lastname + “@” + "fau.de"
#### Theses
* B.Sc: [Semantic Search For Quantity Expressions](https://gl.kwarc.info/supervision/BSc-archive/blob/master/2015/wiesing_tom/project/thesis/thesis.pdf)
* M.Sc: [Enabling Cross-System Communication Using Virtual Theories and QMT](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/twiesing/thesis.pdf)
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment