Marek Sergot
Professor of Computational Logic
Department of Computing
Imperial College London
180 Queen's Gate, London SW7 2BZ, UK.
Tel: +44 (0)20 7594 8218. Fax: +44 (0)20 7581 8024
Email: mjs "at" doc.ic.ac.uk
Research Interests
Logic for knowledge representation and specification of computer systems
legal reasoning
temporal reasoning
logic of action
normative reasoning
formal theory of organisations
regulation and self-regulation of electronic societies
Bioinformatics
Selected Publications
Teaching
MEng/MAC 499: Modal & Temporal Logic (2008-09)
MEng/MAC 491: Knowledge Representation (2009--10)