ASSURE
Status:
The ASSURE project is focusing on: Human-centered system verification. Formalizing ethical and legal language into specifications. Safety mechanisms respecting human autonomy. Tool development for accessible formal methods.
Some of the key efforts include: Studying normative logic and deontic reasoning to formalize ethics and trust principles. Ontological modeling of human-centered systems using AI-generated knowledge graphs. Writing project applications and leading projects on human-centered systems. Developing VS Code Rebeca Extension for accessible verification
| First Name | Last Name | Title |
|---|---|---|
| Kristina | Lundqvist | Chairman of the MDU recruitment committee,Professor |
| Marjan | Sirjani | Professor |
| Kaj | Hänninen | Associate Professor,Docent,Senior Lecturer |
| Masoud | Ebrahimi |
What We Know We Do Not Know: Systematic Risk Identification from Contradictory Safety Documentation Masoud Ebrahimi , Kaj Hänninen, Kristina Lundqvist, Marjan Sirjani The European Safety and Reliability Conference (ESREL2026)
When Repair Is Not Enough: Systematic Mitigation of Incomplete Knowledge Graphs Masoud Ebrahimi , Kaj Hänninen, Kristina Lundqvist, Marjan Sirjani The European Safety and Reliability Conference (ESREL2026)
