![](https://www.kcl.ac.uk/siteelements/2017/images/default-pic.jpg?f=webp)
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
![ARTICLE Code](/newimages/nmes/main-article-780X450/article-code.x8eb83709.jpg?w=780&h=450&crop=780,440,0,5&width=380&height=215&fit=crop&f=webp)
Software Systems
The group studies design, modelling and engineering of software systems.