I'm exploring quite a few projects at the moment!
Most of them revolve around the notion of compositionality: how can we decompose a system in smaller blocks that are easier to analyse, and then deduce from the verification of these blocks that the whole system has the desired property?
Or conversely, how good can a compositional approach to growth be?
This is the core of my approach to mathematical modeling, of programs but also of more things -- more to follow on that soon!
In parallel I keep working on the development of my connections with doctors and scientists who apply a part of their research to medicine.
Some links about ongoing work:
Alzheimer’s Disease and Brain Metabolism: a multiscale modeling approach -- poster at the 2025 Insigneo Showcase, with Dr Simon Bell (ongoing project with Prof Su Li as well)