Dr Bertie Muller
Senior Lecturer
Computer Science
Telephone: (01792) 604524
Room: Office - 336
Third Floor
Computational Foundry
Bay Campus

Areas of Expertise

  • Artificial Intelligence
  • Technology Ethics
  • Formal Languages
  • Mathematical Logic
  • Models of Concurrency
  • Formal Verification


  1. Williams, S., Ware, J., Müller, B., Muller, B. Ethical Surveillance: Applying Deep Learning and Contextual Awareness for the Benefit of Persons Living with Dementia Artificial Intelligence in Health 11326 47
  2. Williams, S., Ware, J., Muller, B. Preserving safety, privacy and mobility of persons living with Dementia by recognising uncharacteristic out-door movement using Recurrent Neural Networks with low computing capacity Proceedings of the First Joint Workshop on AI in Health organized as part of the Federated AI Meeting (FAIM 2018), co-located with AAMAS 2018, ICML 2018, IJCAI 2018 and ICCBR 2018 2142 01.01.2018 212 223
  3. Williams, S., Müller, B., Muller, B. Agents and Dementia — Smart Risk Assessment Multi-Agent Systems and Agreement Technologies 10207 277 284
  4. Abdullahi, I., Muller, B. Towards Efficient Verification of Elementary Object Systems Proceedings of the 25th International Workshop on Concurrency, Specification and Programming 1698 86 100
  5. Muller, B., Betts, J. Engineering MAS - A Device Integration Framework for Smart Home Environments. Fundamenta Informaticae 135 4 341 353


  • CS-275 Automata and Formal Language Theory

    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.

  • CSCM08 Information Security Management

    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.

  • CSCM23 Designing-in Trust, Understanding and Negotiation

    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.

  • CSCM38 Advanced Topics: Artificial Intelligence and Cyber Security

    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.