Trosolwg
Mae Dr Muller yn Ddarlithydd yn yr Adran Gyfrifiadureg ym Mhrifysgol Abertawe.
Dr Bertie Muller
Uwch-ddarlithydd
Computer Science
336
Trydydd Llawr
Y Ffowndri Gyfrifiadol
Campws y Bae
Trydydd Llawr
Y Ffowndri Gyfrifiadol
Campws y Bae
Meysydd Arbenigedd
- Deallusrwydd Artiffisial
- Moeseg Technoleg
- Ieithoedd Ffurfiol
- Rhesymeg Fathemategol
- Modelau Cyfamserol
- Dilysu Ffurfiol
Cyhoeddiadau
Uchafbwyntiau Ymchwil
-
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.
-
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.
-
Rees, C. & Muller, B. (2022). All that glitters is not gold: trustworthy and ethical AI principles. AI and Ethics, 3, 1241-1254.
-
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
Holl Ymchwil
Erthyglau Cylchgronau
-
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.
Cyfraniadau Cynadleddau
-
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
Goruchwyliaeth
-
Novel uses of counterfactuals for improving Post-Hoc explanations (cyfredol)
PhDGoruchwyliwr arall: Dr Alma Rahat -
User Account Authentication Methods, Preferences, and their Efficacy (cyfredol)
PhDGoruchwyliwr arall: Dr Nicholas Micallef -
Lessons for Extremist Content Moderation: Capturing a Visual Style of Extreme Right Imagery (cyfredol)
PhDGoruchwyliwr arall: Dr Lella Nouri -
Explainable Artificial Intelligence across Domains: Refinement of SHAP and Practical Applications (dyfarnwyd 2024)
PhDGoruchwyliwr arall: Dr Monika Seisenberger
Modiwlau a Addysgir
-
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.
-
CSC325 Artificial Intelligence
CSC325 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.
-
CSCM08 Information Security Management
This module addresses the theory and practice of information security in the context of UK and international best practice. In particular, it considers information as an asset and explores where data comes from, who collects data, who owns the data and what they can do with it, within and outside of legal constraints. The module further looks 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.