We are looking for people who are committed to changing the world via world-class research that focuses on amplifying human capabilities through the use of data-driven and intelligence enabled systems.
Traditionally, formal methods have been used to analyse security protocols. This project will consider modelling various security vulnerabilities/attacks and using these to analyse the best form of defence against such attacks.
Speech and conversational interfaces are becoming increasingly popular in homes and workplaces in developed countries. For emergent users - those with typically low literacy, disposable income and access to education and technology - such systems currently seem a long way off.