Those web pages are still in construction ! In particular, the english versions of each pages are not yet available. But, I’m working on it !
I am Lilian Besson, a french student at ENS de Cachan, a french University, near Paris. I’m studying mathematics and Computer Science, and I’m currently in two different MSc (one in each of those domains).
Feel free to contact me :
I found an internship for the third semester of my Maths MSc and CS MSc (03 June to 09 August).
It will take place at UCL (University College of London), under the direction of Peter Jules, about separation logic.
And the looking-for-a-place-to-live phasis seems to be done now...