Back to advisors
BP
Brigitte Pientka
Professor
McGill University · Canadatype theorytheorem provinglogic and functional programmingand logical frameworks. For more informationyou can visit Computation and Logic group
Data verified 9/6/2026Source
Professor
McGill University · CanadaData verified 9/6/2026Source