Marina De Vos

Dr. Marina De Vos is a Senior Lecturer in the Department of Computer Science at the University of Bath. She leads research in knowledge representation and normative systems, with affiliations to multiple research centers including the Centre for Mathematical Biology and UKRI CDT in Accountable AI.

Education:

• Postgraduate Certificate in Learning and Teaching in Higher Education, University of Bath (2010)
• Doctor of Science in Computer Science, Vrije Universiteit Brussel (2002)
• Master of Computing, Vrije Universiteit Brussel (1998)

Research focuses on declarative programming paradigms, particularly Answer Set Programming (ASP) and normative multi-agent systems. Her work enables intuitive problem description in knowledge representation languages, with applications spanning structural engineering, music composition, legal reasoning, and policy modeling. Additional research interests include inductive machine learning, explainable AI, hybrid AI systems, and game theory.

Recent publications demonstrate strong focus on norm synthesis in multi-agent systems, contextual reasoning, and governance frameworks for autonomous systems. This reflects a consistent pattern of applying formal computational methods to social and ethical dimensions of AI.

Professional activities include keynote presentations at international conferences, workshop chair roles for major AI events, and external PhD examination responsibilities across European institutions.