Laurent Christophe

E-mail: lachrist@ulb.ac.be Address:
Vrije Universiteit Brussel
Faculty of Sciences, DINF – SOFT
Pleinlaan 2
B-1050 Brussels, Belgium

Job Description

I am currently working on the COGNAC 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 http://soft.vub.ac.be/~lachrist/icsme14/. Recently, I developed an infrastructure to build meta-level systems targeting JavaScript programs ; demo available at: http://soft.vub.ac.be/~lachrist/aran/demo/demo.html (Firefox strongly recommended).