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.

Status update of my public activity for the last month. With some FOSS activity (because I had some this month, on #po4a), teaching activities (C++, didactic), administrative duties, some research activities on #SimGrid, on the #SmolPhone and on other #LowTech and #FrugalComputing thingies.

http://people.irisa.fr/Martin.Quinson/blog/240131/Status_update:_January_2024/