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

Publications

  1. & 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.

Teaching

  • 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.