معرفی
Andreas Brannstrom is a Postdoctoral Fellow at the Department of Computing Science, Umeå University, Sweden, conducting research on formal and neuro-symbolic methods for trustworthy, human-centered artificial intelligence. His work spans theoretical foundations in knowledge representation to applied verification of interactive systems and intelligent decision support.
His research focuses on formal verification of human-agent interaction, neuro-symbolic AI integration, and ethical AI development. Key methodologies include Answer Set Programming (ASP), formal argumentation, and Description Logic (DL), targeting applications in deception detection, computational empathy, and behavior-change systems. Recent work emphasizes security in information-seeking dialogues and socio-technical aspects of AI deployment.
Analysis of his 2023-2025 publications reveals a dominant trend in verifying social engineering vulnerabilities through formal methods, with significant contributions to machine ethics ontologies and multicultural affective computing. His research consistently bridges theoretical AI frameworks with real-world applications in healthcare, industrial logistics, and public safety.
Brannstrom is affiliated with Umeå University's Agents and Reasoning Group, Formal Methods for Trustworthy Hybrid Intelligence, and Responsible Artificial Intelligence research groups. His active projects include "Strategic Argumentation to deal with interactions between intelligent systems and humans" (2020-2024) and "Collaborative mixed-reality aid for children with autism" (2019-2020), demonstrating commitment to socially impactful AI research.
