Blog
-
I will be at POPL'23!
Goodbye mom, I'm going to Boston ♫
-
I'm at SPLASH'22!
And visiting New Zealand for the first time!
-
Announcement: Marie-Curie Fellowship
My project got funded from Sept 18
-
Magritte, and the scientist's condition
A reflection on two paintings
-
Stargazer: understanding the π-calculus, visually
A first public release of my simulator
-
Why Computer Science is a Science
On the Art of the Lemma and of the Definition
-
The art of the misspelling
101 ways of getting my name wrong
-
What is that weird animation on my homepage?
It is not as silly as it looks!