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 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 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).