Enseignant chercheur sur Saclay, je travaille à l'interface entre le calcul quantique et les méthodes formelles.
A technical deep-dive, since people have been asking me for my thoughts. I'll expand a bit on some of the key points here in a thread. 🧵
A technical deep-dive, since people have been asking me for my thoughts. I'll expand a bit on some of the key points here in a thread. 🧵
Today, mail from the staff: "Repairs scheduled on Monday".
Tomorrow and Friday, the weather forecast estimates temperatures to reach 0 degrees.
I am loosely considering homeworking.
Today, mail from the staff: "Repairs scheduled on Monday".
Tomorrow and Friday, the weather forecast estimates temperatures to reach 0 degrees.
I am loosely considering homeworking.
atlas.limsi.fr
atlas.limsi.fr
https://www.youtube.com/watch?v=ghfhv5P7hAU
https://www.youtube.com/watch?v=ghfhv5P7hAU
www.youtube.com/watch?v=TE3q...
www.youtube.com/watch?v=TE3q...
British Library Manuscript - royal ms 20 a ii f3r
British Library Manuscript - royal ms 20 a ii f3r
@tractlinguistes.bsky.social
@medericgc.bsky.social
@tractlinguistes.bsky.social
@medericgc.bsky.social