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
The group studies design, modelling and engineering of software systems.