Robin Coutelier awarded with the Paul Gauchet Fondation Prize
Friday, Nov 15, 2024Robin Coutelier was awarded with the Paul Gochet Prize by the University of Liège for his master thesis on "Chronological vs. Non-Chronological Backtracking in SMT". The funding aims at supporting his collaboration with researchers at his former University.
The Fondation Paul Gochet was funded to support research in the field of Logic around the University of Liège.