March 5th, 2026 – 11:00 am As the climate emergency demands sustainability across all industrial sectors, Information and Communication Technologies (ICT) represent a particularly critical case. The ICT sector is experiencing rapid growth, driven by its increasing pervasiveness and its role as a key engine of economic development. With the…
January 8th, 2026 The NIST Post-Quantum Standardization program (2016-ongoing) aims to standardize a new generation of cryptographic algorithms resistant against quantum attackers.The talk will report and reflect on our long-term efforts to develop formally verified implementations of ML-KEM and ML-DSA, that were selected for standardization by NIST in 2022 and…
October 16th, 2025 Quantum error correction relies on a feedback loop. This feedback generally corresponds to a classical controller. Quantum error correction can also exploit the dissipation associated with the phenomenon of decoherence. Called autonomous correction by physicists, it then uses feedback where the controller is a dissipative quantum auxiliary…
June 19th, 2025 The amount of digital data generated worldwide is continuously growing at an unprecedented rate: 90% of all existing data has been created in the last two years alone. This explosive growth leads to an exponential increase in the consumption of scarce resources and energy, with no absolute…
March 18th, 2025 Recent advances in machine learning have shown remarkable progress in the 2D and video domain, fueled by very large-scale data and compute. 3D, however, which is critical for applications spanning content creation, mixed reality, and robotics, remains constrained by significantly more limited data representing higher-dimensional information. In…
December 12th, 2024 Wireless networks are the most interesting embodiment of telecommunication technologies. Wireless networks are those most influenced by the physics of space and time. The medium of information transport is the electromagnetic field, which interacts strongly with the environment and can undergo rapid variations, given the mobility of…
October 3rd, 2024 Spikes and rhythms organize control and communication in the animal world, in contrast to the bits and clocks of digital technology. As continuous-time signals that can be counted, spikes have a mixed nature. This talk will review ongoing efforts to develop a control theory of spiking systems.…
16 mai 2024 Le calcul modulaire est utilisé dans de nombreuses applications des mathématiques, telles que la cryptographie. La réduction modulaire dans un contexte très général est coûteuse, car elle nécessite principalement une division. Dans la pratique, cependant, le modulo est souvent fi xe, par exemple lorsqu’on calcule sur un corps…
April 18th, 2024 – 11:00 am The material flow problems under consideration are inspired by real experiments and allow for a multi-scale model hierarchy description. Starting from a detailed microscopic model based on individual trajectories, a corresponding macroscopic model is derived, leading to conservation laws with non-local interaction term. Both…
March 14th, 2024 Adaptation is a recurring theme in biology, offering vital survival mechanisms in dynamic environments through precise regulation of physiological variables. This talk dives into the intriguing concept of robust perfect adaptation (RPA), a phenomenon where a system maintains a specific variable at a setpoint despite persistent perturbations.…
