
Laurent Simon
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.
Program Visits
- Extended Reunion: Satisfiability, Spring 2023. Visiting Scientist.
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Scientist.