For example, in a business environment it is: unfeasible to observe all files uploaded/downloaded 
to/from public cloud services, since employees can perform these actions using non-corporate 
network/devices; impossible to detect all sensitive information contained in files with complete 
certainty; and security policies controlling access to public cloud services can change as a result of 
new legislation (GDPR) or threats. This project, will propose a novel security policy monitor for 
hyper-connected, socio- technical, and cyber-physical systems. 

Multiple Robots Performing Random Walks 
Supervisor: Dr Frederik Mallmann-Trenn 

The goal of the project is to study distributed algorithms for dynamic and noisy settings robot 
swarms, and biological systems. We will seek new algorithms to solve fundamental problems of 
communication, construction, reaching agreement, estimation, data processing, searching, shape 
formation, task allocation, and more.
informatics-phd-projects-2022-23