Skip to main content
Back to King's College London homepage

Professor Dov Gabbay

Emeritus Professor of Computer Science

Research interests

  • Computer science

Contact details

Biography

Professor Dov Gabbay is an Emeritus Professor of Computer Science.

Research interests

  • Logical systems
  • Modal and temporal logics
  • Artificial intelligence

More information

Research

software systems thumb
Software Systems

The group studies design, modelling and engineering of software systems.

Research

software systems thumb
Software Systems

The group studies design, modelling and engineering of software systems.