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.

Biography

Biography

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 led and 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 Corp UK, Ci3 (Spain) and Emu Analytics on modelling and predicting flows of passenger and train movements over transport networks. 
  • 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 between 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 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, which looks at wireless security on communications between on and off train devices. 
  • He was 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.
  • Sotiris was 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).

Sotiris is an IEEE Member (No. 41465193). 

 

Research interests

My research is on the application of mathematical methods and computational techniques, including AI techniques, to the analysis of complex systems. Complex systems often consists of subsystems that are independently managed and operated. Interactions between parts of the system change over time, so explainable decision control is a challenge. I develop techniques and tools (e.g., CCTool) to control complex networks in the sense of i) determining the “drivers” which have high influence on the overall system behaviour, and ii) directing the network from any state to a target state (attractor), or switching between attractors.  

This builds on my expertise over the years on formal methods and verification, including more recently machine learning (rule-based, deep reinforcement learning) and GAs. 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
  • Healthcare and Gene Regulatory Networks - design control policy to guide therapeutic interventions 
  • 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 

Here are some slides from the IEEE SOCA 2019 talk (19 November 2019) on serving AI workloads in resource constrained environments, more specifically AWS and lambda functions. 

Here are some slides on the Real Time Flow project, and CCTool, presented at the launch of the EIT 2020 call.  

The Complex Control tool (CCTool) combines results from structural controllability theory, network analysis and machine learning / AI to get a handle on how the behaviour of a complex system might evolve over time -- identify the most influential nodes, and develop control policies to direct the network to a desired state. This is joint work with Alexandra Penn and Nicholas Elia, Matthew Karlsen, George Papagiannis, Vlad Georgiev and Angelos Christidis and it originates in the EPSRC ERIE project.

 

Teaching

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

Machine Learning for Postgraduate 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

Publications

  • Angelos Christidis, Roy Davies, Sotiris Moschoyiannis. Serving Machine Learning Workloads in Resource Constrained Environments: a Serverless Deployment Example. 12th IEEE Conf. on Service Oriented Computing and Applications (IEEE SOCA 2019), pp. 55-64, IEEE Computer Society, 2019. To appear 

  • 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

  • Mohamed Amine Ferrag, Leandros Maglaras, Sotiris Moschoyiannis, Helge Janicke. Deep Learning for Cyber Security Intrusion Detection: Approaches, Datasets, and Comparative Study. Journal of Information Security and Applications. Elsevier, 2020. To appear

  • Galen J Wilkerson and Sotiris Moschoyiannis. Universal Boolean Logic in Cascading Networks. 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: http://epubs.surrey.ac.uk/842383/]
  • 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: http://epubs.surrey.ac.uk/842395/]
  • 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) ]