Current PhD projects in Software Systems Engineering

• 
  A Novel Approach to the Reduction of Boolean Networks

  Georgios Argyris: Simplifying complex systems
• 
  Preventing network crashes caused by misconfigurations

   
• IoT Security Risk Modelling and Assessment

  Alyzia-Maria Konsta: Secure IoT: It is just a game
• Neoro-adaptive digital learning

  Constantina Ioannou: The goal of this PhD is to develop and test components of a neuro adaptive learning platform that helps to improve learning outcomes of learners...
• Online conformance checking to support human behavior study

  Gemma Di Federico: Process Mining techniques as support for monitoring the worsening of dementia disease
• 
  Safety of Distributed Smart Contracts

  James Chiang: Formally Secure, Smart Contracts for Permissionless Blockchains
• A Logical Approach for Automated Reasoning About Privacy in Security Protocols

  Laouen Fernet: New Methods to Provide Guarantees of Privacy
• Abstract Interpretation for Secure Information Flow

  Panagiotis Vasilikos
• A High-level specification language for model checking

  Signe Geisler Pedersen: There is a growing reliance on software systems. Many of these are safety critical and therefore, it is essential to ensure their correctness...