News

Waterloo Intelligent Systems Engineering (WISE) Lab (formerly Generative Software Development (GSD) Lab) members (from Autonomoose Team) were involved in the successful Renesas autonomous car demonstration at Consumer Electronics Show (CES) 2017 in Las Vegas, NV, USA.

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!