Christos Tsigkanos

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

See Christos' home page.