Laurent Simon holds a Professor position at Bordeaux INP / LaBRI (Univ. Bordeaux). He is interersted in the practical solving of SAT problems. Laurent is the co-author of Glucose, an award winning SAT solver.