The Logic and Foundations of Computing Group is an
interdisciplinary research group composed of faculty and graduate
students in Mathematics and Computer Science at the University of
Ottawa and Carleton University.
Our research interests focus on the mathematical foundations of computer science, including such topics as verification, higher-order and linear logics and proof theory, complexity theory, analysis and design of programming languages, categorical logic, and theorem proving. To find out about the interests of individual faculty members, you can follow the links to their home pages.
We welcome applications from prospective graduate students and/or postdoctoral researchers. Please contact the individual faculty members for more information.
The group and its members are involved in organizing the following conferences (which were held here in Ottawa)
The group meets weekly in the Ottawa-Carleton Logic Seminar.
Graduate Courses. The following courses might be of interest to LFC students: