Key research themes
1. How can rational requirements ensure sustainable and trustworthy software systems through effective requirements engineering?
This research area focuses on integrating rationality principles into requirements engineering to address long-term sustainability and trustworthiness in software systems. It considers how the elicitation, modeling, and validation of requirements grounded in rational frameworks contribute to software systems that endure technically, socially, environmentally, and economically while maintaining security and stakeholder trust.
2. What logical and formal criteria determine the implementability and verification of rationally specified system requirements in safety-critical and multi-agent systems?
This theme examines formal models and complexity results for assessing whether system requirements can be implemented and verified rationally, particularly focusing on safety-critical environments and multi-agent systems. It explores formal frameworks like the four-variable model, explores demonic acceptability, and examines complexity reductions in rational verification by restricting logical properties to specific temporal logics, thereby informing the theoretical foundation for rational requirements engineering.
3. How do philosophical theories of rationality contribute to understanding and refining the normativity, judgment, and diachronic coherence of rational requirements in decision-making and teaching?
This area investigates foundational philosophical perspectives on rationality’s normative status, the interplay of rules with judgment in rational justification, and diachronic requirements such as persistence of intentions over time. It also explores practical rationality as a middle-range theory connecting research and practice in domains like mathematics teaching, elucidating how rationality theories inform and constrain rational requirements in agent decision-making and instructional situations.