Christos Tsigkanos

Research Interests

My research interests lie in the intersection of software and systems engineering, and include self-adaptive, dependable systems and applied formal methods.