To start the new year, I wrote a summary of what I did as a researcher in computer science and professor in 2025. FWIW.
https://people.irisa.fr/Martin.Quinson/blog/251231/Status_update:_2025
I speak of #SimGrid, software model-checking and exhaustive testing of digital infrastructures, #csUnplugged, #SmolPhone, #FrugalComputing and #DeuxFleurs among other things.




