Marek Sergot

Marek Sergot is a Professor of Computational Logic at the Department of Computing, Imperial College London. His research spans logic-based approaches to knowledge representation, normative reasoning, and computational models of agency and action.

Research Interests

• Logics of action and agency
• Temporal and normative reasoning
• Legal reasoning and deontic logic
• Formal theories of organisations

Publications

His work includes 15 recent articles on topics such as temporal logic, non-monotonic reasoning, and applications in bioinformatics. Key areas include event calculus, security protocols, and the action language C+.

Scientific Awards

No specific awards are listed in the provided materials.