Lab Members

Faculty

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

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

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

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

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

We've got lots of freedom and independence, but you are never on your own when you encounter problems.

Kacper Bąk

In our lab, people rarely work alone - we collaborate a lot with each other as well as with external researchers and our industry partners.

Michal Antkiewicz