https://9dok.net/document/yr36r237-lehr-forschungsgebiet-mathematische-grundlagen-informatik-rwth-aachen-prof.html