I received my first degree in Mathematics from the University of Patras, Greece, and the MSc in Information Systems and PhD in Computer Science from the University of Surrey, UK.
Before completing my PhD I worked on the ASPIC project (funded by the EU FP6-IST/STReP programme).
After completing my PhD, I worked on a project (funded by the Ramsay Fund) at the University of Birmingham on the use of automata, logic and UML for modelling component interactions.
Now I am back at Surrey working on OPAALS (NoE funded by the EU FP6-IST programme), a rather interesting and diverse project.
In one sentence, my research work concerns the synergy between Mathematics and Computer Science.
In more than one sentence, my research work is on the application of mathemtical methods to the analysis and design of concurrent and distributed systems, with a particular interest in teh behavioural modelling of complex interactions that require transactional guarantees and the underlying network structures to support them.
In a few more sentences... I am interested in studying the behaviour that results from complex interactions, and the effect the behaviour of local interactions has on the emerging network structure, and its topology, that supports global or more high-level interactions. My interest comes from an ecosystem point of view, so I am looking into 'steering' the design of local interactions in a way that gives rise to 'good' global behaviour, in the sense that the system, and the network, are sustainable and resilient to at least some types of internal or external shocks.
I am a member of the BCS and the IEEE.
I am co-organising (with Amir Razavi and Paul Krause) a Track within this year's IEEE International Conference on Digital Ecosystems and Technologies (IEEE-DEST 2009) on facilitating collaboration and improving connectivity in Digital Ecosystems. The conference this year will take place in Istanbul from May 31 until June 3, 2009.
The central theme of our Track is complex interactions in DEs, in the context of long-running transactions, and network structures to support them. The call for papers for the Cooperation and Connectivity in DEs Track can be found here.
Full papers (6 pages) can be submitted electronically via the (IEEE-DEST 2009 website).
I am co-organising a Track in this year's IEEE International Conference on Digital Ecosystems and Technologies (IEEE-DEST 2008). The Track is called Models of Open TRAnsactions in Digital Ecosystems (MOTRADE) and is concerned with formal and semi-formal languages for modelling distributed long-running transactions, as well as associated software frameworks and technologies for supporting a transactional environment. The deadline for paper submission is 15 October 2007 (over).
More details on the MOTRADE Track can be found at www.computing.surrey.ac.uk/motrade08
Papers can be submitted electronically at www.ieee-ies.org/submit/dest08 (over)
I am also involved with the following events this year:
For a list of papers, technical reports, etc. click here. The list is not updated regularly.
Last updated: June 2008