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
McGill University
Collaborators
Chalmers and Gothenburg University
University of Ottawa
INRIA Futurs/École Polytechnique
University of Milan
Université de Montréal
IMDEA-Software
Carnegie Mellon University
IT University of Copenhagen
Visitors
École Normale Supérieure Paris
IT University of Copenhagen
Graduate Students
Past McGill Students
Andrew Cave (PhD ABS, now at Nuance)
Francisco Ferreira (PhD, now at Imperial College)
Shawn Otis (MSc)
Olivier Savary-Belanger (MSc, now at Princeton)
Rohan Jacob-Rao (MSc, now at Digital Asset)
Past Postdocs
© Computation and Logic Group 
Department of Computer Science, McGill University
3480 University Street, Montreal, Quebec, Canada, H3A 0E9