Today, I was given the opportunity to present my research domain to the students in computer science of the prestigious Ecole Normale Supérieure de Cachan. The presentation was 3 hours long, and the difficulty is that I had to have some parts understandable by the undergrads that just joined the school, and some parts interesting for the PhD students around. I'm not sure that I fully reached these goals, but here are the slides anyway.