Centre for Machine Intelligence About us Research themes 天发娱乐棋牌_天发娱乐APP-官网|下载 people Projects Publications Centre for doctoral training Get involved News and events Centre for Machine Intelligence Projects Explore our current and past projects. COVER: COalgebraic Foundations for Quantitative VERification International Centre for Spatial Computational Learning