Who am I?

I am Lilian Besson, a young student at ENS de Cachan, a French University, near Paris. In 2013/2014, I am preparing the (French) agregation of Mathematics exam (national competitive exam for teacher recrutment, with a major in Maths and a minor in Computer Science). Everyone who is preparing it at ENS Cachan, has been declared “admissible”, and so do I. We are working for the oral exams, which are in about two weeks.

A few words about me

I like to walk, travel, go camping around France and Europe, mainly by using hitchhiking. I also like using new technologies, and enjoy design tiny pieces of software or web content for instance nice javascript hacks, tutorials (on ga-beacon or Nano) or Linux command line tools (see this page for example).

A few words about this site

I am working on this little website (currently, http://besson.qc.to/) when I have the time, hoping it can be useful to someone (at least me, but who knows...). All the content of the website is (C) Lilian BESSON, and it is open source with the GPLv3 License. What means Open Source, explained with LEGO. This site’s Google Analytics data suggest that some pages are indeed visited on a daily basis, so if you are here for something in particular, I hope you will not be disapointed (you can use this bug tracker to report any bug, or even to ask me anything).

In 2012/2013 I graduated two first half of Masters of Science, in mathematics and Computer Science (again, both with magna cum laude), and in 2011/2012 I graduated two different Bachelors of Science (both magna cum laude),


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 !

Contact addresses

Feel free to contact me :

  1. by mail (→ OpenStreetMap direct link), in France

    Mr Lilian Besson,
    ENS Cachan,
    Dept. de Mathématiques,
    41, avenue du Président Wilson,
    94230 - Cachan,
  2. or via Facebook lbesson;

    My email address, in a PNG picture...
  3. or via email Lilian.Besson@ens-cachan.fr;

    My phone number, in a PNG picture...
  4. or by phone (only if it is important) :

My projects on-line

Feel free to contact me :

  1. either with my bitbucket account bitbucket.org/lbesson;
  2. or via my Launchpad profile launchpad.net/~lbesson;
  3. or with my personal Wikipedia page User:Naereen;
  4. or on Transifex profile/Naereen.

MSc internship : “Towards modularity for planning and robot programs verification

I did an internship for the third semester of my Maths MSc and CS MSc from 03 June to 09 August 2013.

I worked at UCL (University College of London), under the direction of Jules Villard (and Peter O’Hearn), about separation logic, planning in AI, and the study of modularity in those two domains.

My report (in English): rapportM1Info13.pdf, and my slides (in French): slidesM1Info13.pdf.

Mark:Jules gave me 19/20. I got the mark 17.7/20 from the Computer Science jury at ENS Cachan, and 18.50/20 from the Maths jury at ENS Cachan.