Research Institute for Advanced Computer Science (RIACS)