Professor, Bordeaux INP
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.
Extended Reunion: Satisfiability , Spring 2023Visiting Scientist
Satisfiability: Theory, Practice, and Beyond , Spring 2021Visiting Scientist