Title: Research Institute for Advanced Computer Science