Andreas Brännströmمشاهده پروفایل
پژوهشگر ارشد
- Formal Logic
- Cybersecurity
- Social Engineering
- +۷ مورد دیگر
Andreas Brännström is a postdoctoral fellow at the Department of Computing Science , Umeå University, Sweden. His research focuses on formal logic-based methods for modeling and verifying manipulation, deception, and influence in communication , with applications in cybersecurity and social engineering. He employs frameworks such as Answer Set Programming, Formal Argumentation, and Description Logic to analyze mental states, belief change, and dialogue strategies in autonomous systems. His work intersects artificial intelligence , computational ethics , and human-agent interaction . Key research themes include: Formal verification of deceptive communication Computational empathy modeling Trust-based argumentation systems Behavior change interventions for autism Human-aware planning in hybrid AI Cross-cultural affective knowledge representation Recent publications analyze manipulation dialogues , critical friend agents , and emotion-aware planning using formal methods. The research contributes to responsible AI and trustworthy human-agent collaboration . Current projects include strategic argumentation frameworks (2020-2024) and collaborative mixed-reality tools for autism support. He is affiliated with the Formal Methods for Trustworthy Hybrid Intelligence research group and contributes to Responsible Artificial Intelligence initiatives.












