|
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:
-
Category Theory Octoberfest, Oct. 31-Nov.1, 2015 (University of Ottawa).
-
Category Theory Octoberfest, Oct. 22-23, 2011 (University of Ottawa).
-
26th Mathematical Foundations of Programming Semantics (MFPS), May 6-10, 2010.
- Fields Workshop on Traces, April 28-30, 2007.
- Category Theory Octoberfest Oct 21-22, 2006.
- Category Theory
Octoberfest Oct 22-23, 2005.
- Logic in
Computer Science (LICS'03) and Workshops, June 21-27, 2003.
The group meets weekly in the
Ottawa-Carleton Logic Seminar.
*
Graduate Courses. The following courses might be of
interest to LFC students:
|
|
 |
|
Faculty:
Adjunct Faculty:
Postdoctoral Researchers
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:
|
