
Laurent Simon
Professor, Bordeaux INP
Visiting Scientist
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.
Program Visits
Visiting Scientist
Visiting Scientist