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. & (2019). Ethical Surveillance: Applying Deep Learning and Contextual Awareness for the Benefit of Persons Living with Dementia. Presented at Artificial Intelligence in Health,-47.Springer Nature Switzerland AG. doi:10.1007/978-3-030-12738-1_3
  2. & Preserving safety, privacy and mobility of persons living with Dementia by recognising uncharacteristic out-door movement using Recurrent Neural Networks with low computing capacity. Presented at 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,(01.01.2018)AIH 2018 - Joint Workshop on AI in Health.
  3. & (2017). Agents and Dementia — Smart Risk Assessment. Presented at Multi-Agent Systems and Agreement Technologies,, 277-284. Valencia: EUMAS 2016. doi:10.1007/978-3-319-59294-7_22
  4. & 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

    Students will be introduced to non-standard approaches to cyber-security, such as evolutionary algorithms, quantum computing, and DNA computing. The inspiration behind these approaches will be discussed, along with their relative merits for applications in cyber-security.

  • CSF302 Project Planning and Management

    Software projects have long had a reputation for cost and time overruns - but they need not, and there are well-established, and emerging, techniques and processes to manage them well and effectively: for example, agile methodologies like Scrum which are becoming a de-facto standard in the industry. Also, many projects have significant legal, social, ethical and professional consequences that a practitioner needs to be aware of and sensitive to. This module develops the fundamental skills of successfully building complex software systems, and the implications, including on wider society, of doing so. It will also prepare students for work on any project by equipping them with the skills to successfully plan them, and to commence that planning process.