UCLIRISPROJECT.WORDPRESS.COM

This project draws on a range of disciplines, including logic, program verification, security, discrete mathematical modelling, economics, management science and social science. While interfaces at different degrees of abstraction and criticality can be studied independently and from different perspectives, it is unlikely that any one level of abstraction or perspective will offer all of the answers. Our goal is to integrate various approaches, so that they can inform each other. For instance, our understanding of the challenges faced by organisations in developing or managing digital interfaces can inform and be informed by the mathematical modelling of systems... We have a great set of industrial partners: Amazon AWS, BT, Facebook, GridPP, HP Labs, and Methods Group... Our societies and economies are becoming increasingly reliant on digital ecosystems constituted of large, complex, dynamic, and highly distributed systems. Digital innovations including Platforms, Big Data, the..