Since April 2025, I have moved to Inria Paris: please find my new webpage here.