Sotiris Moschoyiannis

Research Fellow

Department of Computing,
Faculty of Electronics and Physical Sciences,
University of Surrey
Guildford, Surrey
United Kingdom

Room BB3302 (room 33, 2nd floor of the BB building)
Tel: 0044 (0) 1483 68 2650
Fax: 0044 (0) 1483 68 6051

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.

Research interests:

Track within IEEE-DEST 2009 on Coperation and Connectivity in Digital Ecosystems

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.

Important Dates:

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).

Track within IEEE-DEST 2008 (over)

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

Papers can be submitted electronically at (over)

Other conferences and events

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