Sotiris Moschoyiannis

Dr Sotiris Moschoyiannis

Senior Lecturer in Complex Systems
+44 (0)1483 689130
04 BB 02
Friday 9:00-11:00

Academic and research departments

Department of Computer Science.



Sotiris received the BSc degree in Mathematics from the University of Patras, Greece, the MSc in Information Systems and PhD in Computer Science from the University of Surrey, UK. His research is on the application of computational techniques - mathematical methods, machine learning, deep reinforcement learning - to the analysis of complex networks. He has worked on several UK and EU funded research projects.

  • Sotiris is the Principal Investigator (PI) on the Real-Time Flow (RTF) project, funded by EIT Digital. This is a collaboration with Amey (lead), Ferrovial and Emu Analytics on  transport networks and predictive analytics. The idea is to control the underlying networks and reconfigure them so that they dynamically adapt to the actual usage made of them while people and goods move around the city.
  • He is co-Investigator (CI) on the CoNTINuE (Capacity building in technology-driven innovation in healthcare) project, funded by GCRF, UKRI, which is an interdisciplinary project between Surrey Business School, Clinical and Experimental Medicine, and Computer Science. 
  • Sotiris is the PI on AGELink (Automated GEneration of Linkages betweens delay events) which looks at minimising reactionary delay -- the knock-on effect on the rail network of a train being late. This is an EPSRC IAA project in collaboration with the Rail Delivery Group (RDG)
  • He is the PI on the Onward Journey Planning Assistant (OJPA) project which is funded by Innovate UK under the Accelerating Innovation in Rail 4 (AIR4) programme. Passenger data segmentation, learning classifier systems and complex decision control feature prominently in this research. The aim is to develop technology that provides a concierge-like experience to rail passengers.
  • He is a co-Investigator (CI) on the SAFRON (Safe Operational Radio Network for mixed-priority communications to trains using a shared architecture) project which is funded by the Department for Transport via Innovate UK under the AIR5 programme. Wireless security on communications between on and off train devices features prominently in this research. 
  • Sotiris is a CI on ERIE (Evolution and Resilience of Industrial Ecosystems), which is a 6-year programme of research funded by EPSRC, under the Complexity Science for the Real World programme. It involves Sociology (CRESS), Mathematics, and the Centre for Environmental Strategy (all at Surrey). Sotiris leads the path-dependency analysis stream in ERIE and the development of the complex control tool CCTool.

He is on the Programme Committee for the annual conference on Complex Networks and IEEE Service Oriented Computing and Applications (IEEE SOCA) and a co-chair on the RuleML+RR 13th International Rules Challenge, in 2019.

He is an associate member of the Surrey Centre for Cyber Security (SCCS) which is an Academic Centre of Excellence in Cyber Security Research (ACE - CSR).

Research interests

My research is on the application of mathematical methods and computational techniques, including AI techniques, to the (design and) analysis of complex systems. In complex systems, causes and effects are not obviously related so explainable decision control is a challenge. I study how the different parts of the system give rise to collective behaviours as well as the relationship to the environment. I develop techniques and tools (e.g., CCTool) to control a complex networks in the sense of i) determining the system levers or “drivers” which have high influence on the overall system behaviour, and ii) directing the network from any state to a target state (attractor).  

This builds on my expertise over the years on formal methods and verification of distributed and concurrent systems. This research is applicable to:

  • Transport, Rail and smart cities co-design - data segmentation, machine learning (rule-based; deep reinforcement learning) and decision control to capture flows of trains, people, goods in a city
  • Policy-making - an intervention 'here' has effects 'over there' because of hidden dependencies
  • Cyber security - co-evolution of strategies in cyber fraud; resilience of networks to changing configurations 

The Complex Control tool (CCTool) combines results from structural controllability theory and network analysis to identify the most influential factors in a complex system. It has been used to design the most effective interventions in terms of policy, or to identify the most resilient parts of a system, or the points which accelerate the spread of a disease. This is joint work with Alexandra Penn and Nicholas Elia which originates in the EPSRC ERIE project.

Here is a 2min film on Complex Systems (and the ERIE project tool suite called SteerPlex).

Here is an online animation tool for exploring the behaviour of web transactions and service choreographies (work in progress, but will give you an idea).



Database Systems (COMM051) for Postgraduate Taught students on the MSc in Data Science programme in Semester 1 2019-20.

Machine Learning for Postgradute Taught students on the MSc in Data Science programme in Semester 2 in 2019-20.

Software Engineering (COM1028) for First Year (Year 1) undergraduates, in CS and CIT, in Spring 2018-19.

Enterprise Systems Development (COM3011) for Final Year (Year 3) undergraduate students in Autumn 2016-17.

Lecture notes, exercises, and other related material on these courses can be found on SurreyLearn.


Departmental duties

Admissions Tutor (UG and PG/T).

My publications


  • George Papagiannis and Sotiris Moschoyiannis. Learning to Control Random Boolean Networks: a Deep Reinforcement Learning approach. 8th International Conference on Complex Networks and their Applications (Complex Networks 2019), Studies in Computational Intelligence, Springer, 2019. To appear

  • Sotiris Moschoyiannis and Vasily Shcherbinin. Fine tuning run parameter values in rule-based machine learning. 13 Int'l Rule Challenge @ RuleML+RR 2019, CEUR-WS vol 2438, 2019. 

  • Ian Oliver, Sakshyam Panda, Sotiris Moschoyiannis. A Game Theoretic Model for Understanding and Modelling Cybersecurity for Telecommunications Operators. In Proc. of the 29th European Safety and Reliability Conference (ESREL 2019), pp.123-130, 2019.

  • Matthew R. Karlsen and Sotiris K. Moschoyiannis. Optimal control rules for random Boolean networks. Complex Networks 2018, Studies in Computational Intelligence, vol 812, pp. 828-840. Springer, Cham, 2018.
  • Sotiris Moschoyiannis, Leandros Maglaras and Nurulhunda A Manaf. Trace-based verification of Rule-based Service Choreographies. In 11th IEEE Int'l Conf. on Service Oriented Computing and Applications (IEEE SOCA 2018), IEEE Computer Society, 2018.
  • Matthew R. Karlsen and Sotiris Moschoyiannis. Learning action-condition rules for personalised journey recommendations. In Proc. RuleML + RR 2018, LNCS 11092, pp. 293-301, Springer, 2018.  
  • Matthew R Karlsen and Sotiris Moschoyiannis. Evolution of Control with Learning Classifier Systems. Applied Network Science, 2018 3(1): 30:1 - 30:36, Springer, 2018.
  • D. Kosmanos, L. Maglaras, M. Mavrovouniotis, S. Moschoyiannis, A. Argyriou and H. Janicke. Route Optimization of Electric Vehicles based on Dynamic Wireless ChargingIEEE Access 6:42551-42565,  2018.   [Early access]
  • Stylianos Savvopoulos and Sotiris Moschoyiannis. Impact of removing nodes on the controllability of complex networksComplex Networks 2017, pp. 361-363, 2017.  [preliminary version: here]
  • Nurulhunda A Manaf, Andreas Antoniades and Sotiris Moschoyiannis. SBVR2Alloy: an SBVR to Alloy compiler. In Proc. of the 10th IEEE International Conference on Service Oriented Computing and Applications (IEEE SOCA 2017), pp. 73-80, IEEE Computer Society, 2017. [preliminary version:]
  • Stylianos Savvopoulos, Alexandra S. Penn, Sotiris Moschoyiannis. On the interplay between topology and controllability of complex networks. In Proc. Conference on Complex Systems (CCS'17) 2017. [preliminary version:]
  • Sotiris Moschoyiannis, Nicholas Elia, Alexandra Penn, David J.B. Lloyd and Chris Knight. A web-based tool for identifying strategic intervention points in complex systems. In Proc. Games for the Synthesis of Complex Systems (CASSTING'16 @ ETAPS 2016), EPTCS 220, pp.39-52, 2016. [preliminary version: PDF]
  • Sotiris Moschoyiannis and Paul J Krause. True Concurrency in Long-running Transactions for Digital EcosystemsFundamenta Informaticae138(4):483-514, 2015. [preliminary version: PDF]
  • N. A Manaf, S. Moschoyiannis, P. J. Krause. Service Choreography, SBVR, and Time. In Proceedings CONCUR 2015 - FOCLASA, EPTCS 201, pp. 63-77, 2015.
  • L. Maglaras, J. Jiang, A. Maglaras, F. Topalis S. Moschoyiannis. Dynamic Wireless Charging of Electric Vehicles on the Move with Mobile Energy DisseminatorsInt'l Journal of Advanced Computer Science and Applications (IJACSA), 6(6): 239-251, 2015. [preliminary version PDF]
  • S. Moschoyiannis, P. Krause, and P. Georgiou. An Animation Tool for Exploring Transactions in DEs. In Proc. IEEE Int'l Conf. on Digital Ecosystems and Technologies (IEEE DEST 2012), 2012 [preliminary version PDF]
  • A. Marinos, S. Moschoyiannis, and P. Krause. Towards a RESTful Infrastructure for Digital EcosystemsInt. Journal of Electronic Business (IJEB), Vol. 9, Number 5-6, pp. 484- 498, Inderscience Publishers, 2011 [preliminary version: PDF]
  • S. Moschoyiannis, A. Marinos, and P. Krause. Generating SQL Queries from SBVR Rules. In Proc. RuleML 2010, LNCS 6403, pp. 128-143, Springer, 2010. [preliminary version: PDF]
  • A. Marinos, S. Moschoyiannis, and P. Krause. An SBVR to SQL Compiler. Our accompanying tool demo paper won the RuleML 2010 Challenge. [preliminary version: PDF]
  • S. Moschoyiannis, A. Razavi and P. Krause. Transaction Scripts: Making Implicit Scenarios Explicit. In Proc. FESCA@ETAPS'08, Electronic Notes in Theoretical Computer Science 238 (2010), pp. 63-79, Elsevier, 2010.[preliminary version: PDF]
  • A. Razavi, P. Krause, S. Moschoyiannis. Digital Ecosystems: challenges and proposed solutions. In Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies and Applications, pp. 1003-1031, IGI Global Publishers, Hershey, PA, 2010. [preliminary version: PDF]
  • M. W. Shields, S. Moschoyiannis, P. J. Krause. Behavioural Presentations and an Automata Theory of Components. In Proceedings of Real-time and Embedded Systems (RTES 2010), 2010. Won the best paper award.
  • M. W. Shields, S. Moschoyiannis, P. J. Krause. Primes in Component Languages. In Proceedings of Real-time and Embedded Systems (RTES 2010), 2010.
  • A. Marinos, S. Moschoyiannis, P. Krause. Towards a RESTful Infrastructure for Digital Ecosystems. In ACM Conf. on Management of Emergent Digital Ecosystems (MEDES 2009), ACM SIGAPP, pp.340-344, 2009. [preliminary version: PDF]
  • Sotiris Moschoyiannis, Paul Krause, Daniel Bryant, and Peter McBurney. Verifiable Protocol Design for Agent Argumentation Dialogues. In Proc. of IEEE Digital Ecosystems and Technologies (IEEE-DEST 2009), 2009. [preliminary version: PDF]
  • A. Razavi, S. Moschoyiannis, P. Krause. An Open Digital Environment to support Business EcosystemsPeer-to-Peer Networking and Applications, 2(4): 367-397, Springer, 2009. [preliminary version: PDF ]
  • A. Marinos, A. Razavi, S. Moschoyiannis, and P. Krause. RESTful Transactions supported by the Isolation Theorems. In Proc. of International Conference of Web Engineering (ICWE 2009), LNCS 5648, pp. 394-409, Springer, 2009.
  • Sotiris Moschoyiannis, Paul Krause and Mike W Shields. A True-Concurrent Interpretation of Behavioural Scenarios. In Proc. of ETAPS 2007 - Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA'07), ENTCS 203(7):3-22. Elsevier, 2009. [preliminary version: psPDF]
  • A. Marinos, A. Razavi, S. Moschoyiannis, P. Krause. RETRO: A Consistent and Recoverable RESTful Transaction Model. In Proceedings Int'l Conference on Web Services (ICWS 2009), IEEE Computer Society, pp. 181-188, 2009.
  • A. Razavi, A. Marinos, S. Moschoyiannis, P. Krause. Recovery Management in RESTful Interactions. In Proc. of IEEE Int'l Conf. on Digital Ecosystems and Technologies (IEEE-DEST 2009), 2009.
  • Paul Krause, Amir Razavi, Sotiris Moschoyiannis, and Alex Marinos. Stability and Complexity in Digital Ecosystems. In Proc. of IEEE Int'l Conf. on Digital Ecosystems and Technologies (IEEE-DEST 2009), 2009. Best paper award at IEEE DEST 2009 [preliminary version: PDF]
  • Juliana Bowles and Sotiris Moschoyiannis. When things go wrong: Interrupting Conversations. In Proc. of ETAPS 2008 - Fundamental Approaches to Software Engineering (FASE'08), LNCS 4961, pp. 131-145, Springer, 2008.[preliminary version: PDF]
  • P. Dini, G. Lombardo, R. Mansell, A. Razavi, S. Moschoyiannis, P. Krause, A. Nicolai, L. Leon. Beyond interoperability to digital ecosystems: regional innovation and socio-economic development led by SMEsJournal of Technological Learning, Innovation and Development, 1(3): 410-426, 2008.[preliminary version: PDF]
  • S. Moschoyiannis, A. Razavi, Y. Zheng and P. Krause. On Long-running Transactions: semantics, schemas, implementation. In Proc. of IEEE Int'l Conf. on Digital Ecosystems and Technologies (IEEE-DEST 2008), IEEE Computer Society, 2008.[preliminary version: PDF]
  • A. Razavi, S. Moschoyiannis and P. Krause. A Scale-Free Business Network for Digital Ecosystems. In Proc. of IEEE Int'l Conf. on Digital Ecosystems and Technologies (IEEE-DEST 2008), IEEE Computer Society, 2008.[preliminary version: PDF]
  • A. Razavi, S. Moschoyiannis and P. Krause. A Coordination Model for Distributed Transactions in Digital Business Ecosystems. In Proc. of IEEE Int'l Conf. on Digital Ecosystems and Technologies (IEEE-DEST 2007), IEEE Computer Society, 2007.[preliminary version: PDF]
  • A. Razavi, P. Malone, S. Moschoyiannis, B. Jennings and P. Krause. A Distributed Transaction and Accounting Model for Digital Ecosystem Composed Services. In Proc. of IEEE Int'l Conf. on Digital Ecosystems and Technologies (IEEE-DEST 2007), IEEE Computer Society, 2007.[preliminary version: PDF]
  • Juliana Küster Filipe Bowles and Sotiris Moschoyiannis. Concurrent Logic and Automata Combined: a Semantics for Components. In Proc. of CONCUR 2006 - Foundations of Coordination Languages and Software Architectures (FOCLASA'06), ENTCS, 175(2): 135-151, Elsevier, 2007.[preliminary version: psPDF]
  • A. Razavi, S. Moschoyiannis and P. Krause. Concurrency Control and Recovery Management for Open e-Business Transactions. In Proc. of Communicating Process Architectures (CPA 2007), pp. 267-285, IOS Press, 2007.[preliminary version: PDF]
  • Sotiris Moschoyiannis, Juliana Küster-Filipe and Michael W. Shields. A Formal Approach to Constructing Well-Behaved Systems using Components. In Zhiming Liu and He Jifeng, eds, Mathematical Frameworks for Component Software - Models for Analysis and Synthesis. Series on Component-Based Software Development - Vol. 2, pp. 321-349, World Scientific, 2006.[preliminary version: ps]
  • Daniel Bryant, Paul Krause and Sotiris Moschoyiannis. A Tool to Facilitate Agent Deliberation. In Proc. of 10th European Conference on Logics in Artificial Intelligence (JELIA'06), LNCS 4160, pp. 465-468, Springer, 2006.[preliminary version: PDF]
  • S. Moschoyiannis, M. W. Shields and P. J. Krause. Modelling Component Behaviour with Concurrent Automata. In Proc. ETAPS 2005 workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA'05), ENTCS, Volume 141, Issue 3 (1 December 2005), pp. 199-220, Elsevier, 2005.[preliminary version: PDF]
  • S. Moschoyiannis. Specification and Analysis of Component-Based Software in a Concurrent Setting. PhD Thesis, University of Surrey, 2005.[ PDF ]
  • S. Moschoyiannis. Generating Snapshots of a Component Setting. In Proc. of ETAPS 2004 workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA'04), ENTCS, Vol. 108 (13 Dec 2004), pp.83-98, Elsevier, 2004.[preliminary version: PDF]
  • S. Moschoyiannis and M. W. Shields. A Set-Theoretic Framework for Component CompositionFundamenta Informaticae, 59(4): 373-396, 2004.[preliminary version: PostScript] , PDF]
  • S. Moschoyiannis, M. W. Shields and J. Küster-Filipe. Formalising Well-Behaved Components. In Hung Dang Van and Zhiming Liu, eds, Proceedings of Formal Aspects of Component Software FACS'03, Satellite Workshop of FME 2003, 8-9 September 2003, Pisa, Italy, pp. 121-142, UNU/IIST Report No. 284, 2003.[preliminary version: PostScriptPDF]
  • S. Moschoyiannis and M.W. Shields. Component-Based Design: Towards Guided Composition. In Proceedings of Application of Concurrency to System Design (ACSD'03), 18-20 June 2003, Guimaraes, Portugal, pp. 122-131, IEEE Computer Society, 2003.[preliminary version: PostScriptPDF]
  • S. Moschoyiannis. Group Theory and Error Detecting / Correcting Codes. MSc Thesis, Technical Report SCOMP-TC-02-01, Department of Computing, University of Surrey, 2001.[ Full text (PDF,295K) ]