Marek Sergot

Roles and Affiliations: Professor of Computational Logic at the Department of Computing, Imperial College London. Part of the Faculty of Engineering. Active in research, teaching, and publication in computational logic, artificial intelligence, and formal systems.

Research Interests: Focuses on computational logic with applications to knowledge representation, action and agency theories, temporal reasoning, normative systems, legal reasoning, and formal organization models. Recent work also intersects with bioinformatics and proteomics analysis.

Publications: Over 50 publications since 1986, including foundational work on the Event Calculus, normative systems, and formal methods in multi-agent systems. Notable contributions span deontic logic, agent coordination, and applications in legal reasoning and bioinformatics. Recent work emphasizes logic-based approaches to activity recognition and proteomic profiling.

Teaching: Taught advanced courses on modal and temporal logic (2008–2009) and knowledge representation (2017–2018). Course materials emphasize formal semantics, nonmonotonic reasoning, and logic programming.

Labs/Teams: Involved in interdisciplinary projects on computational systems, including collaborations with bioinformatics researchers and multi-agent system developers.