The Research Institute for Advanced Computer Science