Coalgebraic methods in computer science: modelling infinite objects, infinite databases and processes with potentially infinite behaviour

Supervisor	Alexandru Baltag
Suitable for	MSc in Computer Science

Abstract

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