Optimization of Security-Oriented State Machine Inference using Low-Level Instrumentation Techniques and Checkpointing

Most network stacks, e.g. TCP, TLS, or WPA, rely on an internal state machine, which can either be explicit (with the presence of state variables) or implicit…
Digital Trust

Generative AI-empowered digital twin for immersive training in cardiac surgery

Cardiovascular diseases remain the leading cause of mortality worldwide (WHO,2019). In particular, coronary artery disease often requires coronary artery bypass…
Data analytics & Artificial Intelligence
Engineering Health and Well-being

Models, performances and evolutions toward 6G enabled Time-Sensitive Networking for XR

This project addresses key barriers to the adoption of the metaverse and anticipates the evolution toward 6G networks[1][2]. The metaverse, powered - among…
Networks & IoT

A framework for low-resource bias detection and mitigation in Transformer-based AI models

Modern Large Language Models (LLMs) are increasingly deployed across education [11, 2], healthcare [12], recommender systems [5, 20], and other domains; often…
Data analytics & Artificial Intelligence

Compressing Graph Data: From Signal Processing to Machine Learning

Graph signal processing (GSP) [1-3] and graph machine learning (GML) [4-6] are research fields that aim to generalize classical concepts from signal processing…
Data analytics & Artificial Intelligence

Next-Generation Hollow-Core Fibers for High-Speed Communications, Quantum Communication and Distributed Sensing

The proposed Ph.D. project aims to develop and demonstrate the next generation of hollow-core photonic crystal fibers (HCPCFs) for ultra-high-speed data…
Networks & IoT

Quantum state tomography of quietly pumped semiconductor lasers for optical communications and enhanced sensing performance

Quantum communications is the most mature field of quantum technologies, leveraging the properties of quantum mechanics for securing the keys exchanged between…
Networks & IoT

Assessment of thromboembolic risk in the Left Atrium via 4D flow MRI and Computational Fluid Dynamics

Interest on the biomechanics of the Left Atrium (LA) has grown over the last few years [1], as impaired atrial function is strongly associated with increased…
Engineering Health and Well-being

Towards a Functional Record Theory: Applications to Anomaly Detection

Record theory provides key probabilistic tools to understand extreme events : phenomena that exceed typical fluctuations and drive critical decisions in science…
Data analytics & Artificial Intelligence

Compositional Design of 316 Stainless Steel for Wire Arc Additive Manufacturing: Avoiding Sigma-Phase Formation through Creq/Nieq Balance and Post-Deposition Heat Treatment

Context and Objective In wire arc additive manufacturing (WAAM), repeated thermal cycling and high heat input generate microstructures not found in wrought…
Advanced Materials and Eco-materials
Advanced Processes

Inflammation on a chip: from fabrication to electrically guiding immune fate

Patients with altered inflammatory response, due to metabolic diseases (e.g., diabetes mellitus), chronic inflammation, autoimmune diseases and pharmaceutical…
Engineering Health and Well-being

Modelling and analysis of large-scale networks for mobile agents

Percolation theory has been widely studied for about fifty years in discrete and continuous settings [3,5], both motivated by its numerous applications in…
Networks & IoT