SFS Institute of Mathematics and Fundamental Informatics