News

Filter by:

The research focus of our lab has changed and we are changing the name to reflect that. The Generative Software Development Lab (GSD Lab) is now officially renamed to Waterloo Intelligent Systems Engineering Lab (WISE Lab).

We will archive the GSD Lab website, which will remain available at its current address http://gsd.uwaterloo.ca/.

Good bye and welcome!

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 Satisﬁability (SAT) 2016.

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

News

Filter by:

Good bye Generative Software Development Lab, long live Waterloo Intelligent Systems Engineering Lab!

Waterloo Autonomoose team delivers a successful autonomous car demonstration at Consumer Electronics Show (CES) 2017

Waterloo team wins the main and application tracks of Competition of Boolean Satisﬁability (SAT) 2016