Laurent Simon
Professor, Bordeaux INP
Visiting Scientist
Dates of Visit: Jan. 12 – May 14, 2021
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
- Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Scientist.
