G2: Formal Methods in Industry

Waterloo Site

Krzysztof Czarnecki. Group Leader; Professor (U Waterloo)

Sean Sedwards. Researcher; Assistant Professor (U Waterloo)

Rick Salay. Researcher; Research Associate (U Waterloo)

Jaeyoung Lee. Researcher; Postdoctoral Fellow (U Waterloo)

Vahdat Abdelzad. Researcher; Postdoctoral Fellow (U Waterloo)

Rodrigo Queiroz. Research Assistant; PhD student (U Waterloo)

Hisashi Miyashita. Advisor