Lab Members

Faculty

Krzysztof Czarnecki
Krzysztof Czarnecki, Ph.D., P.Eng.

Professor
Homepage

Current members

Matt Angus
Matt Angus, B. Sc.

MMath Student
Homepage

Michał Antkiewicz
Michał Antkiewicz, Ph.D.

Research Engineer
Homepage
View Michał Antkiewicz's profile on LinkedIn

Rahul Chandail
Rahul Chandail, M. Sc.

MASc Student
Homepage

Ian Colwell
Ian Colwell, B.Sc.

MASc Student
Homepage

Zinovy Diskin
Zinovy Diskin, Ph.D.

Visiting Scholar
Homepage

Samin Arman Khan
Samin Arman Khan, B.Eng.

MASc. Student
Homepage

Changjian Li
Changjian Li, BEng

MASc Student
Homepage

Jimmy Liang
Jimmy Liang, MMath

Ph.D. Candidate
Homepage

Rafael Olaechea
Rafael Olaechea, B.Sc., M.Sc.

Ph.D. Student
Homepage

Rodrigo Queiroz
Rodrigo Queiroz, M. Sc.

Ph.D. Student
Homepage

Rick Salay
Rick Salay, Ph.D.

Research Associate
Homepage

Atrisha Sarkar
Atrisha Sarkar, M.Math

Ph.D. Student
Homepage

Pavel Valov
Pavel Valov, M.Sc.

Ph.D. Student
Homepage

Ed Zulkoski
Ed Zulkoski, B.S.

Ph.D. Student
Homepage

Current Co-op Students

Asad M. Bhatti
Asad M. Bhatti

Winter 2017

Chris Willar
Chris Willar

Winter 2017

Current Undergraduate Research Assistants

Isabelle Sauve
Isabelle Sauve

Winter 2016
View Isabelle Sauve's profile on LinkedIn

Collaborators

Thorsten Berger
Thorsten Berger, Ph.D.

Assistant Professor, Chalmers University of Technology and University of Gothenburg, Sweden
Homepage

Jianmei Guo
Jianmei Guo, Ph.D.

Associate Professor, East China University of Science and Technology, China
LinkedIn

Ralf Lämmel
Ralf Lämmel, Ph.D.

Full Professor, University of Koblenz-Landau, Germany
Homepage

Andrzej Wąsowski
Andrzej Wąsowski

Associate Professor, IT University Copenhagen, Denmark
Homepage

Yingfei Xiong
Yingfei Xiong, Ph.D.

Assistant Professor, Peking University
Homepage

Graduates

Peiyuan Sun
Peiyuan Sun, B.Sc.

MMath Fall 2016
Homepage

Eldar Khalilov
Eldar Khalilov, B.Sc.

MASc. Fall 2016
Homepage

Manish Chauhan
Manish Chauhan, B.Sc.

MMath Fall 2016
Homepage

Jordan Ross
Jordan Ross, B.Sc.

M.Sc. Spring 2016
Homepage

Leonardo Passos
Leonardo Passos, MSc.

Ph.D. Spring 2016
Homepage

Zubair Akhtar
Zubair Akhtar, B.Sc.

MASc. Spring 2015
Homepage

Jesús Padilla
Jesús Alejandro Padilla Gaeta, B.S.

MMath, Winter 2015
Homepage

Wenbin Ji
Wenbin Ji

MASc., Spring 2014
Homepage

Alexandr Murashkin
Alexander Murashkin

MMath, Spring 2014
Homepage

Jimmy Liang
Jimmy Liang

MMath, Winter 2014
Homepage

Dina Zayan
Dina Zayan

MSc., Fall 2013
Homepage

Moises Almeida Castelo Branco
Moises Almeida Castelo Branco

Ph.D., Fall 2013
Homepage

Kacper Bąk
Kacper Bąk

Ph.D., Fall 2013
Homepage
Now with MathWorks

Steven She
Steven She

Ph.D., Fall 2013
Homepage

Rafael Lotufo
Rafael Lotufo, PMP

Ph.D., Winter 2013
Homepage

Marko Novakovic
Marko Novakovic

MASc., Fall 2012
Homepage

Thiago Tonelli Bartolomei
Thiago Tonelli Bartolomei

Ph.D., Spring 2012
Homepage, LinkedIn Profile
Now with LogicBlox

Mohamed AbdelRazik
Mohamed AbdelRazik

MASc., Spring 2011
Homepage

Rehan Rauf
Rehan Rauf

MMath, Winter 2011
Homepage

Abbas Heydarnoori
Abbas Heydarnoori

Ph.D., Winter 2009
Homepage
Now an Assistant Professor at Sharif University of Technology

Herman Lee
Herman Lee

MASc., Winter 2009
Homepage, LinkedIn Profile

Matthew Daniel Stephan
Matthew Daniel Stephan

MASc., Winter 2009
Homepage
Now an Assistant Professor at Miami University

Marcilio Mendonça
Marcilio Mendonça

Ph.D., Winter 2009
Primary affiliation: CSG
Homepage, Homepage (External)

Michal Antkiewicz
Michal Antkiewicz

Ph.D., Spring 2008
Homepage

Steven She
Steven She

MMath, Spring 2008
Homepage

Barry Pekilis
Barry Pekilis

Ph.D., Fall 2006
Homepage (External)

Peter Kim
Peter Kim

MASc., Spring 2006
Homepage
Now with the University of Texas at Austin

Sean Lau

MASc., Winter 2006
Homepage, Homepage (External)

Past postdoctoral fellows

Leonardo Passos
Leonardo Passos, Ph.D.

Postdoctoral Fellow
Homepage
View Leonardo's profile on LinkedIn

Thorsten Berger
Thorsten Berger, Ph.D.

Postdoctoral Fellow
Homepage

Jianmei Guo
Jianmei Guo, Ph.D.

Postdoctoral Fellow
Homepage

Yingfei Xiong
Yingfei Xiong, Ph.D.

2010-11
Postdoctoral Fellow
Homepage

Michal Antkiewicz
Michal Antkiewicz, Ph.D.

2009-11
Postdoctoral Fellow
Homepage

Simon Helsen, Ph.D.

2003-04
Postdoctoral Fellow
Homepage (External)

Past members

Shahwar Saleem
Shahwar Saleem, BSc.

MASc. Student
Homepage

Leonie Breitmoser
Leonie Breitmoser, M.Sc.

Ph.D. Student
Homepage

Yi Zhang
Yi Zhang, M.Sc.

Ph.D. Student
Homepage

Past Co-op Students

Isabelle Sauve
Isabelle Sauve

Fall 2016
View Isabelle Sauve's profile on LinkedIn

Luke Michael Brown
Luke Michael Brown

Winter 2013
Clafer Compiler
Clafer Instance Generator

Neil Vincent Redman
Neil Vincent Redman

Winter 2013
Clafer Configurator
ClaferMoo Visualizer

Christopher Walker
Christopher Walker

Spring 2012
Clafer Configurator

Tanvir Sarkar
Tanvir Sarkar

Spring 2012
Template Creator for IntelligentET

Past visiting members

Markus Weckesser
Markus Weckesser, MSc

Ph.D. Student
Homepage

Jens Weiland
Jens Weiland

Professor of Software Engineering, Reutlingen University, Germany
Homepage (External)

Rita Suzana Pitangueira Maciel
Rita Suzana Pitangueira Maciel, Ph.D.

Postdoctoral Fellow

Rodrigo Queiroz
Rodrigo Queiroz

M.Sc. Candidate, Federal University of Minas Gerais, Brazil
Homepage (External)

Thomas Schmorleiz
Thomas Schmorleiz

M.Sc. Student, University of Koblenz-Landau, Germany

Elder de Macedo Rodrigues
Elder de Macedo Rodrigues

Ph.D. Student, PUC Rio Grande do Sul, Brazil
Homepage (External)

Leopoldo Teixeira
Leopoldo Teixeira

Ph.D. Student, Federal University of Pernambuco, Brazil
Homepage (External)

Arif Wider
Arif Wider, Dipl.-Inf. (FH)

Ph.D. Student, Humboldt-University of Berlin, Germany
Homepage (External)

Ricardo Terra
Ricardo Terra, Master of Computer Science

Ph.D. Student, Universidade Federal de Minas Gerais, Brazil
Homepage (External)

Javier Troya
Javier Troya

Spring 2012
Ph.D. Candidate, University of Málaga, Spain
Homepage

Bo Wang
Bo Wang, Bachelor of Computer Science

Ph.D. Student, Peking University, China
Homepage (External)

Arnaud Hubaux
Arnaud Hubaux, M.Sc.

Ph.D. Student, University of Namur, Belgium
Homepage (External)
Now Postdoctoral Fellow, University of Namur, Belgium

Martin Kuhlemann
Martin Kuhlemann

Winter 2011
Ph.D. Candidate, University of Magdeburg, Germany
Homepage

Thibault Vanderveken
Thibault Vanderveken

Fall 2010
Master Student, University of Namur, Belgium

Istvan Rath
István Ráth

Spring 2010
Ph.D. Candidate, Budapest University of Technology and Economics, Hungary
Homepage, LinkedIn Profile

Reinhard Tartler
Reinhard Tartler

Spring 2010
Ph.D. Candidate, University of Erlangen-Nürnberg, Germany
Homepage

Thorsten Berger
Thorsten Berger

Winter/Spring 2009, Spring 2010
Ph.D. Candidate, University of Leipzig, Germany
Homepage

Pedro Rossel
Pedro Rossel

Fall 2007
Ph.D. Candidate, Universidad de Chile, Chile
Homepage

Anders Hessellund

Winter 2007
Ph.D. Candidate, IT University of Copenhagen, Denmark
Homepage

Karl Trygve Kalleberg

Winter 2006
Ph.D. Candidate, University of Bergen, Norway
Homepage, LinkedIn Profile