DTU.dk
Departments and Centers
Departments and Centres
DTU Aqua
DTU Bioengineering
DTU Biosustain
DTU Chemical Engineering
DTU Chemistry
DTU Civil Engineering
DTU Compute
DTU Electrical Engineering
DTU Energy
DTU Engineering Technology
DTU Entrepreneurship
DTU Environment
DTU National Food Institute
DTU Electro
DTU Health Tech
DTU Learn for Life
DTU Management
DTU Mechanical Engineering
DTU Nanolab
DTU Physics
DTU Skylab
DTU Space
DTU Wind and Energy Systems
Research groups
Research groups
Shortcuts
Phonebook
Directions/map
Supplier information (CVR and EAN)
Course base
Job and Career
DTU Alumni
DTU Inside
(intranet)
Webshop
DTU Library
DTU Orbit (Research database)
Contact
Dansk
DTU Compute
Persons
Publications
Projects
Teaching
PhD
Research
Continuing Education
Cooperation
Employees
About us
Front page
PhD
Current PhD projects
Software Systems Engineering
Front page
PhD
Current PhD projects
Software Systems Engineering
Share on Facebook
Share on Twitter
Share on Linkedin
Algorithms, Logic and Graphs
Cognitive Systems
Cybersecurity Engineering
Dynamical Systems
Embedded Systems Engineering
Formal Methods
Mathematics
Scientific Computing
Software and Process Engineering
Software Systems Engineering
Georgios Argyris
Jens Kanstrup Larsen
Alyzia-Maria Konsta
Constantina Ioannou
Gemma Di Federico
James Chiang
Laouen Fernet
Panagiotis Vasilikos
Signe Geisler Pedersen
Statistics and Data Analysis
Visual Computing
y
PhD projects affiliated with DTU Compute
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...
Updated on 27 May 2022
Updated on 27 May 2022