Data protection by design in the e-health care sector: theoretical and applied perspectives

In the digital age, e-health technologies play a pivotal role in the processing of medical information. As personal health data represents sensitive information concerning a data subject, enhancing data protection and security of systems and practices has become a primary concern. In recent years, there has been an increasing interest in the concept of Privacy by Design, which aims at developing a product or a service in a way that it supports privacy principles and rules. In the EU, Article 25 of the General Data Protection Regulation provides a binding obligation of implementing Data Protection by Design technical and organisational measures. This thesis explores how an e-health system could be developed and how data processing activities could be carried out to apply data protection principles and requirements from the design stage. The research attempts to bridge the gap between the legal and technical disciplines on DPbD by providing a set of guidelines for the implementation of the principle. The work is based on literature review, legal and comparative analysis, and investigation of the existing technical solutions and engineering methodologies. The work can be differentiated by theoretical and applied perspectives. First, it critically conducts a legal analysis on the principle of PbD and it studies the DPbD legal obligation and the related provisions. Later, the research contextualises the rule in the health care field by investigating the applicable legal framework for personal health data processing. Moreover, the research focuses on the US legal system by conducting a comparative analysis. Adopting an applied perspective, the research investigates the existing technical methodologies and tools to design data protection and it proposes a set of comprehensive DPbD organisational and technical guidelines for a crucial case study, that is an Electronic Health Record system.

Typed behavioural equivalences in the Pi-Calculus

In this thesis, I study the notion of program equivalences, i.e. proving that two programs can be used interchangeably without altering the overall observable behaviour. This definition is highly dependent on the contexts in which these programs can be used; does the context have exceptions, parallelism, etc... So proofs also need to be adapted according to the expressiveness of those contexts. This thesis presents on the pi-calculus – a concurrent programming language – under various typing constraints. Types allows us to impose different disciplines like forcing a sequential execution, or ensuring linearity, meaning an object can be used once. In each case, the bisimulation, a standard proof technique for the pi-calculus, needs to be adapted accordingly to obtain a suitable equivalence. We then test how using the modified bisimulations can be used to reason about a language with higher-order functions and references, which once translated into the pi-calculus satisfies the typing constraints.

Coworking spaces: thriving and organizing in the new world of work

The present Ph.D. thesis proposes three studies on coworking spaces to understand how they foster thriving and organizing in the new world of work. The first study maps and analyzes the thematic structure and evolution of the academic debate that has emerged around coworking spaces in recent years. In doing so, it conducts a science mapping analysis of 351 publications on coworking spaces to detect and visualize key themes in the literature and their co-occurrence with subthemes. The second study proposes an interpretive review of 98 publications from multiple disciplines to shed light on how coworking spaces emerge as sites of organizing for professionals who are not formally connected to one another. It suggests five dimensions that articulate coworking spaces as sites of organizing – ‘materiality,’ ‘temporality,’ ‘affect,’ ‘identity,’ and ‘formalization.’ This study aims to go beyond the community-related understanding of coworking that has characterized most scholarly attention, instead focusing on coworking spaces’ organizational character. The third study investigates what drives thriving at work for remote workers in coworking spaces. In doing so, it acknowledges the potential complex set of interrelationships underpinning thriving at work and mobilizes complexity theory and qualitative comparative analysis to uncover six different, yet equifinal, configurations of antecedents driving remote workers’ thriving in coworking spaces.