Centre for Machine Intelligence About us Research themes BOB体育登录网址_欧宝体育官网平台-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