G2: Formal Methods in Industry

Waterloo Site

Krzysztof Czarnecki. Group Leader; Professor (U Waterloo)

Sean Sedwards. Researcher; Assistant Professor (U Waterloo)

Jaeyoung Lee. Researcher; Assistant Professor (U Waterloo)

Hisashi Miyashita. Advisor