Eco-anxieux, climato-réactionnaire et féministe. # teamESR : Enseigne la prog, réseau, OS + méthodo recherche et pédago. Cherche en systèmes distribués, méthodes formelles, OS. Co-auteur de SimGrid Sympatisant # Debian , @Framasoft et @LaQuadrature.
Eco-anxieux, climato-réactionnaire et féministe. # teamESR : Enseigne la prog, réseau, OS + méthodo recherche et pédago. Cherche en systèmes distribués, méthodes formelles, OS. Co-auteur de SimGrid Sympatisant # Debian , @Framasoft et @LaQuadrature.
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.
Loading comments...