About
Dr Muller is a lecturer in Computer Science at Swansea University.
Dr Bertie Muller
Associate Professor
Computer Science
Office - 336
Third Floor
Computational Foundry
Bay Campus
Third Floor
Computational Foundry
Bay Campus
Areas Of Expertise
- Artificial Intelligence
- Technology Ethics
- Formal Languages
- Mathematical Logic
- Models of Concurrency
- Formal Verification
Publications
Research Highlights
-
Williams, S., Ware, J., Müller, B., & Muller, B. (2019). Ethical Surveillance: Applying Deep Learning and Contextual Awareness for the Benefit of Persons Living with Dementia. In Artificial Intelligence in Health-47). Springer Nature Switzerland AG.
-
Williams, S., Ware, J., & Muller, B. (2018). Preserving safety, privacy and mobility of persons living with Dementia by recognising uncharacteristic out-door movement using Recurrent Neural Networks with low computing capacity. In 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 (pp. 212-223). AIH 2018 - Joint Workshop on AI in Health.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa43607
-
Williams, S., Müller, B., & Muller, B. (2017). Agents and Dementia — Smart Risk Assessment. In Multi-Agent Systems and Agreement Technologies (pp. 277-284). EUMAS 2016.
-
Abdullahi, I. & Muller, B. (2016). Towards Efficient Verification of Elementary Object Systems. In Proceedings of the 25th International Workshop on Concurrency, Specification and Programming (pp. 86-100). Concurrency, Specification, and Programming (CS&P 2016).SU Repository: https://cronfa.swan.ac.uk/Record/cronfa50306
-
Muller, B. & Betts, J. (2014). Engineering MAS - A Device Integration Framework for Smart Home Environments.. Fundamenta Informaticae, 135(4), 341-353.
All Research
Journal Articles
-
Rees, C. & Muller, B. (2022). All that glitters is not gold: trustworthy and ethical AI principles. AI and Ethics, 3, 1241-1254.
-
Muller, B. & Betts, J. (2014). Engineering MAS - A Device Integration Framework for Smart Home Environments.. Fundamenta Informaticae, 135(4), 341-353.
Conference Contributions
-
Muller, B. (2024). Future Proofing Systems Engineering: Reliability, Responsibility, and Resilience. In Intelligent Distributed Computing XVI (pp. 13-16). Springer Nature Switzerland.
-
Wilson, B., Scott, D., Roach, M., Nielsen, E., & Muller, B. (2024). Designing for Situated AI-Human Decision Making: Lessons Learned from a Primary Care Deployment. In Proceedings of the 1st International Workshop on Designing and Building Hybrid Human–AI Systems (SYNERGY 2024), Arenzano (Genoa), Italy, June 03, 2024.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa67653
-
Kovvuri, V., Liu, S., Seisenberger, M., Fan, X., Muller, B., & Fu, H. (2022). On Understanding the Influence of Controllable Factors with a Feature Attribution Algorithm: a Medical Case Study. In 2022 International Conference on INnovations in Intelligent SysTems and Applications (INISTA) (pp. 1-8). IEEE.
-
Williams, S., Ware, J., Müller, B., & Muller, B. (2019). Ethical Surveillance: Applying Deep Learning and Contextual Awareness for the Benefit of Persons Living with Dementia. In Artificial Intelligence in Health-47). Springer Nature Switzerland AG.
-
Williams, S., Ware, J., & Muller, B. (2018). Preserving safety, privacy and mobility of persons living with Dementia by recognising uncharacteristic out-door movement using Recurrent Neural Networks with low computing capacity. In 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 (pp. 212-223). AIH 2018 - Joint Workshop on AI in Health.SU Repository: https://cronfa.swan.ac.uk/Record/cronfa43607
-
Williams, S., Müller, B., & Muller, B. (2017). Agents and Dementia — Smart Risk Assessment. In Multi-Agent Systems and Agreement Technologies (pp. 277-284). EUMAS 2016.
-
Abdullahi, I. & Muller, B. (2016). Towards Efficient Verification of Elementary Object Systems. In Proceedings of the 25th International Workshop on Concurrency, Specification and Programming (pp. 86-100). Concurrency, Specification, and Programming (CS&P 2016).SU Repository: https://cronfa.swan.ac.uk/Record/cronfa50306
Supervision
-
Novel uses of counterfactuals for improving Post-Hoc explanations (current)
PhDOther supervisor: Dr Alma Rahat -
User Account Authentication Methods, Preferences, and their Efficacy (current)
PhDOther supervisor: Dr Nicholas Micallef -
Mind the Gap: Representation and Reasoning for Autonomous Vehicles (current)
PhDOther supervisor: Dr Adam Wyner -
Lessons for Extremist Content Moderation: Capturing a Visual Style of Extreme Right Imagery (awarded 2025)
PhDOther supervisor: Prof Lella Nouri -
Explainable Artificial Intelligence across Domains: Refinement of SHAP and Practical Applications (awarded 2024)
PhDOther supervisor: Dr Monika Seisenberger
Taught Modules
-
CS-265 Artificial Intelligence
CS-265 is an introduction to Artificial Intelligence (AI) focusing primarily on reasoning and problem solving as a search for a solution. The central notions of a rational agent and multi-agent systems are used to introduce concepts like beliefs, desires, and intentions that are fundamental to the search for solutions within the context of an observable environment. Further aspects of symbolic AI such as knowledge representation and expert systems, planning, and language processing will be covered. All of these topics are embedded into a human-centred perspective of AI.
-
CSCM808 Information Security Management
This module provides a comprehensive overview of the organisational context of information security, addressing trends, vulnerabilities, and risk assessment. Students will learn to implement security controls, conduct maturity analysis, and understand the impact of policies, certification, and legal compliance on trust. The course covers key principles of data privacy, access control models, and the Information Security Management System (ISMS). Practical skills include reading and producing formal models related to digital identity and surveillance, and understanding societal developments in risk surfaces. The module combines lectures and labs, with assessments through exams, coursework, and lab work, ensuring a well-rounded understanding of information security management.