Isobel Standen

Papers

Total Citations

H-Index

About

Isobel Standen is a rising researcher at the intersection of software engineering and socio-technical systems, with a focus on normative requirements engineering. Her work addresses the critical challenge of embedding social, legal, ethical, empathetic, and cultural (SLEEC) norms into software systems that interact with humans in high-stakes domains like transportation and healthcare. Standen’s most-cited paper, “Analyzing and Debugging Normative Requirements via Satisfiability Checking” (2024, 13 citations), introduces a formal method for verifying normative non-functional requirements (N-NFRs) using satisfiability solvers. This contribution provides a rigorous, automated approach to detecting inconsistencies and conflicts in requirements that encode societal values—a task previously reliant on manual review. While early in her career, Standen’s work is gaining traction for bridging formal methods with value-sensitive design, offering tools to ensure that autonomous systems respect human norms. Her research is particularly notable for its practical orientation, aiming to make SLEEC concerns as testable and debuggable as functional requirements. As software ethics becomes a regulatory priority, Standen’s contributions position her as a key voice in engineering trustworthy, value-aware AI.