Professor of Compuer Science at FAU Erlangen-Nürnberg, founder of MathHub.info