Wednesday, August 31, 2016

Waterloo team wins the main and application tracks of Competition of Boolean Satisfiability (SAT) 2016

Two solvers by a University of Waterloo team Jia Hui (Jimmy) Liang, Chanseok Oh, Vijay Ganesh, Krzysztof Czarnecki, and Pascal Poupart received the first prizes in two tracks of the Competition of Boolean Satisfiability (SAT) 2016.

Congratulations to our PhD student Jia Hui (Jimmy) Liang and professor Krzysztof Czarnecki!

WISE Lab logo

  1. 2020 (2)
  2. 2019 (1)
    1. August (1)
  3. 2018 (4)
    1. November (1)
    2. October (1)
    3. February (1)
    4. January (1)
  4. 2017 (4)
  5. 2016 (1)
    1. August (1)

Opportunities

We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.

For more information, visit Open positions.