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
The publication feed is not currently available.
Research
Software Systems
The group studies design, modelling and engineering of software systems.
The publication feed is not currently available.
Research
Software Systems
The group studies design, modelling and engineering of software systems.