Laurent Christophe

Job Description

I am currently working on the TEARLESS project. I also give exercise sessions for the functional programming course.

Research Description

My research interests include: dynamic program analysis, symbolic execution, model checking and testing. I have been conducting an experiment on the usage of Selenium, all the experiment's data are available at Recently, I developed an infrastructure to build meta-level systems targeting JavaScript programs ; demo available at: (Firefox strongly recommended).