add thesis page stub
[web.git] / research / thesis.html
2020-08-30 Ralf Jungadd thesis page stub