Roel Wieringa

• Deontic logic in computer science
• Machine intelligence and explanation
• Requirements engineering
• Requirements Engineering : Foundation for Software Quality