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.

Faculty

Brigitte Pientka

McGill University

Collaborators

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

IMDEA-Software

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)


Visitors

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