Areas of Expertise
- Artificial Intelligence
- Technology Ethics
- Formal Languages
- Mathematical Logic
- Models of Concurrency
- Formal Verification
This module introduces the notion of grammars for defining the syntax of formal languages, especially programming languages. It introduces the limits of computation using Turing Machines and other models of computation.
This module will address the theory and practice of information security. In particular, it will consider where data comes from, who collects it and what they can do with it. It will further look into theories of monitoring and surveillance, digital identity, legal and regulatory frameworks, data protection, cybercrime, business resilience, disaster recovery, and security audits.
This module explores state-of-the-art methods and concepts to assist responsible design and development of technology with the aim of creating reliable and trusted systems. The content of this module will be delivered by expert lecturers and practitioners in the areas of trusted computation, bias and explainability in automated decision making and decision support, ethical considerations for AI, argumentation and negotiation, as well as formal methods, such as verification of critical systems.
This module introduces students to the state-of-the-art methods and research topics of artificial intelligence, cyber security, including quantum computing, data science, deep learning and reinforcement learning. The inspiration behind these approaches will be discussed, along with their relative merits for application in cyber security.