Formal Methods for Verification in Human-Agent Interaction — New PhD Defense
Andreas Brännström, defends his doctoral thesis “Formal methods for verification in human-agent interaction“, at Umeå University. Abstract Formal verification is essential for ensuring that systems behave according to their mathematical specifications. However,...
How to Build Nice Robots: Ethics from Theory to Machine Implementation — New PhD Defense
Jakob Stenseke defends his doctoral thesis, “How to build nice robots: Ethics from theory to machine implementation,” at Lunds University. Abstract This thesis investigates morality from a computational perspective by examining how machines can be developed with...
Modeling Norms for Social Simulations: Increasing Realism in Social Simulations to Support Decision Makers in Their Decision Making — New PhD Defense
Christian Kammler defends his doctoral thesis, “Modeling Norms for Social Simulations: Increasing Realism in Social Simulations to Support Decision Makers in Their Decision Making” on Friday April 4, at Umeå University. Abstract It is very challenging for policymakers...
Three New DDLS-WASP-HS Research Initiation Grant Projects Approved
To foster collaborative research at the intersection of data-driven life sciences, social sciences, and the humanities, three new initiation projects between WASP-HS and DDLS have been approved. The projects are a part of the call “Research Initiation Grants for...
