Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home Research Profile

Research Areas
Research Labs
Workshops
Publications
Technical Reports

Computation and Logic

The Computation and Logic group consists of Brigitte Pientka. The main research activities are automated theorem proving, semantics of concurrent languages, type theory and probabilistic process algebras.


Our research is funded by the National Science and Engineering Research Council of Canada (NSERC), Fonds Quebecois de la recherche sur la nature et les technologies (FQNRT), the Canadian Foundation of Innovation and McGill University.


We welcome applications from prospective graduate students, preferably students who are interested in pursuing a PhD. Please contact the individual faculty members for more information.To find out about the interests of individual faculty members, you can follow the links to their home pages.


Courses in the School of Computer Science:

  • COMP 230: Proof and Computation
  • COMP 302 : Programming Languages and Paradigms(Fall),
    Brigitte Pientka
  • COMP 426: Automated Reasoning(Fall), Brigitte Pientka ( now COMP 527: Logic and Computation)
  • COMP 523: Language-based security(Winter), Brigitte Pientka
  • COMP 524 Programming language theory, Prakash Panangaden
  • COMP 525: Formal Verification(Fall), Prakash Panangaden
  • COMP 527: Logic and Computation, Brigitte Pientka
  • COMP-627 Theory of programming languages

Related courses in the Department of Philosophy and Mathematics

  • PHIL 320: Intermediate Logic
  • PHIL 411: Topics in Philosophy of Logic and Mathematics
  • MATH 318: Mathematical Logic
  • MATH 591, Mathematical Logic 1
  • MATH 592, Mathematical Logic 2

Associated Faculty

Prof. Prakash Panangaden
Prof. Brigitte Pientka
Prof. Dirk Schlimm

Interesting Projects

We and our students are involved in a variety of projects concerning type theory, verification, and design of typed functional and logic programming languages.
For more information, see Computation and Logic Group