Logic in Computer Science: logics for concurrent dynamic systems

Supervisor	Alexandru Baltag
Suitable for	MSc in Computer Science

Abstract

Dr Alexandru Baltag is available to supervise projects in this area.