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 5110 Principles of Formal Software Development A. Felty Fall 2012
MAT5361 Topics in Math. Logic: Sheaf Theory P. Hofstra Fall 2012
CSI 5110 Principles of Formal Software Development A. Felty Fall 2011
MAT5127 Homological Algebra and Category Theory P. Hofstra Fall 2010
CSI 5110 Principles of Formal Software Development A. Felty Fall 2010
MAT5161 Mathematical Logic P. Scott Winter2010
CSI 5110 Principles of Formal Software Development A. Felty Fall 2009
MAT5127 Homological Algebra and Category Theory P. Hofstra Fall 2008

Faculty:

  Leopoldo Bertossi (SCS, Carleton)
Richard Blute (Math, Ottawa)
Amy Felty (SITE and 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

  Alexander Hoffnung (Math, Ottawa)
Geoff Cruttwell (Math, Ottawa)

Ph.D. Students:

  Ruben Monjarez (EECS,Ottawa)
Fanny Ramirez (Math, Ottawa)
Bahman Sistany (EECS,Ottawa)
Natalia Villanueva (SCS, Carleton)
Polina Vinogradova (EECS,Ottawa)
Trevor Wares (Math, Ottawa)

M.Sc. Students:

  Xiaobing Jin (SCS, Carleton)
Thomas O'Neil (Math,Ottawa)
Vincent Rouleau (Math, Ottawa)
Jiangong Weng (EECS, 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