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.

*

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

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
CSI 5110 Principles of Formal Software Development A. Felty Fall 2008
Comp5900F Computational Logic L. Bertossi Fall 2007
CSI 5110 Principles of Formal Software Development A. Felty Fall 2007
MAT 4162/5361 Recursion Theory P. Hofstra Fall 2007
MAT 4362/5361 Topics in Logic: Proofs and Types P.J. Scott Winter 2007

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:

  Loreto Bravo (SCS, Carleton)
Monica Caniupan (SCS, Carleton)
Marc Comeau (Math, Ottawa)
Emily Diepenveen (Math, Ottawa)
Alan Martin (Math, Ottawa)
Octavio Malherbe (Math, Ottawa)
Stephen Michell (SCS, Carleton)
Fanny Ramirez (Math, Ottawa)
Bahman Sistany (SITE,Ottawa)
Natalia Villanueva (SCS, Carleton)
Trevor Wares (Math, Ottawa)

M.Sc. Students:

  Xiaobing Jin (SCS, Carleton)
Vincent Rouleau (Math, Ottawa)
Azar Salami (Math,Ottawa)
Ian Sharkey (SITE, Ottawa)
Jiangong Weng (SITE, Ottawa)
Feng Zheng (SITE, 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