University of Leicester


photo of Kyriakos Poyias

STAFF — Kyriakos Poyias  BSc MSc

Graduate Teaching Assistant, PhD Student
G1 Informatics Building
Department of Informatics,
University of Leicester,
University Road,
LE1 7RH.

T: +44 (0)116 252 3904
E: kyriakos at mcs le ac uk

About Me:
    After getting "fed up" of the warm and sunny weather in Limassol I decided to make my way to Leicester to study Computer Science.
    In 2009, I was awarded MSc in Advanced Distributed Systems at the University of Leicester.
    Currently, I am working as a Graduate Teaching Assistant whilst studying for my PhD under the guidance of Dr. Emilio Tuosto.


During my PhD I proposed a monitoring mechanism for recording the evolution of systems after certain computations, maintaining the history in a tree-like structure. Technically, I developed a monitoring mechanism in a variant of Architectural Design Rewritting (ADR), a rule-based formal framework for modelling the evolution of systems’ architectures. The hierarchical nature of ADR allowed me to take full advantage of the tree-like structure of the monitoring mechanism and to formally define new rewriting mechanisms for ADR's reconfiguration rules. Also, by monitoring the evolution of a system I proposed ways of identifying which part of a system has been affected when unexpected run-time behaviours emerge. Moreover, I propose various methodologies to suggest reconfigurations that could potentially lead the system in a non-erroneous state.

    Topics of Interest:
  • Software Architectures
  • Architectural Design Rewriting
  • Graph Transformations
  • Design by Contract
  • Term Rewriting
  • Distributed Systems

  • Kyriakos Poyias:

Author: Kyriakos Poyias (kyriakos at mcs le ac uk), T: +44 (0)116 252 3904.
© University of Leicester September 2009. Last modified: 21st June 2013, 11:29:51.
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.