McGill's Computation and Logic (Complogic) Group is the team behind Beluga, focused on developing a theoretical and practical foundation for building and reasoning about software systems. Research areas include logic and programming languages, type theory, logical frameworks and software verification.


Brigitte Pientka

McGill University


Andreas Abel

Chalmers and Gothenburg University

Amy Felty

University of Ottawa

Dale Miller

INRIA Futurs/École Polytechnique

Alberto Momigliano

University of Milan

Stefan Monnier

Université de Montréal

Aleksandar Nanevski


Frank Pfenning

Carnegie Mellon University

Carsten Schürmann

IT University of Copenhagen

Graduate Students

Andrew Cave (PhD)

Francisco Ferreira (PhD)

David Thibodeau (PhD)

Rohan Jacob-Rao (MSc)

Shawn Otis (MSc)

Stefan Knudsen (MSc)


Agata Murawska

(IT University of Copenhagen)

Nicolas Jeannerod

(Ecole Normale Superieur Paris)

Past McGill Students

Sherry Shanshan Ruan

Olivier Savary-Belanger

Past Postdocs

Matthias Puech

Tao Xue

Mathieu Boespflug

Joshua Dunfield