Logic and Foundations of Computing

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)

Recent conferences:

The group meets weekly in the Ottawa-Carleton Logic Seminar.

*

Graduate Courses. The following courses might be of interest to LFC students:

CSI 5137 Software Foundations A. Felty Fall 2021
CSI 5140 Software Foundations A. Felty Fall 2015-18
CSI 5110 Principles of Formal Software Development A. Felty Fall 2015
MAT4199 Computability Theory P.  Hofstra Winter 2015
CSI 5110 Principles of Formal Software Development A. Felty Fall 2009-14
MAT5361 Topics in Math. Logic: Sheaf Theory P. Hofstra Fall 2012
MAT5127 Homological Algebra and Category Theory P. Hofstra Fall 2010
MAT5161 Mathematical Logic P. Scott Winter2010
MAT5127 Homological Algebra and Category Theory P. Hofstra Fall 2008

Faculty:

  Richard Blute (Math, Ottawa)
Amy Felty (SITE and Math, Ottawa)
Simon Henry (Math, Ottawa)
Pieter Hofstra (Math, UOttawa)
Douglas Howe (SCS, Carleton)
Luigi Logrippo (UQO and SITE)
Paul-Eugene Parent (Math, Ottawa)
Philip Scott (Math and SITE, Ottawa)

Adjunct Faculty:

  Peter Selinger (Math, Dalhousie)

Postdoctoral Researchers

  Martti Karvonen (Math, Ottawa)

Ph.D. Students:

  Michel St-Martin (EECS, Ottawa)
Bahman Sistany (EECS,Ottawa)
Natalia Villanueva (SCS, Carleton)

M.Sc. Students:

  Chelsea Battell (Math, Ottawa)
Kris Chambers (Math,Ottawa)
Christopher Delaney (Math,Ottawa)
Xiaobing Jin (SCS, Carleton)
Sakif Khan (Math,Ottawa)
Wei Lu (Math,Ottawa)
Jason Parker (Math,Ottawa)
Kyle Trepanier (Math, Ottawa)
Feng Zheng (EECS, Ottawa))

Undergraduates:

 


Logic and Foundations of Computing Group
Department of Mathematics and Statistics, University of Ottawa
School of Information Technology and Engineering, University of Ottawa
School of Computer Science, Carleton University
Département d'Informatique, Université du Québec en Outaouais

Philip Scott