Homepage of Pieter Hofstra
About me:
- 1994-1999:
Undergraduate studies: CKI (Cognitive Artificial Intelligence) at the University of Utrecht,
the Netherlands.
- 1999-2003:
PhD in categorical logic under supervision of Dr. Jaap van Oosten and
Prof. Ieke Moerdijk, University
of Utrecht. Thesis
title: Completions in Realizability.
- 2003-2005:
Postdoctoral fellow at Department of Mathematics and Statistics, University of Ottawa.
- 2005-2006:
Postdoctoral fellow at Department of Computer Science, University of Calgary.
- From
Jan. 2007: Assistant professor, Department of Mathematics and Statistics, University of Ottawa.
Contact information:
Office: KED 307G, Dept. of Mathematics and Statistics,
585 King Edward Av, Ottawa, K1N 6N5, On, Canada
Email: phofstra@uottawa.ca
Tel: (613) 562-5800 ext. 3494
Teaching: During
the fall of 2009 I teach MAT1300: Mathematical Methods I and
MAT2342: Applied Linear Algebra.
During
the Spring of 2009 I taught MAT4162: Topics in
Mathematical Logic and
MAT1322: Calculus II
.
This year I am coaching the Putnam exam. Any undergraduate students interested in participating should feel free to contact me..
I’m part of the Logic and Foundations of Computing
Group..
Fields workshop on Smooth Structures in Category Theory,
Logic and Physics: took place in Ottawa, May 1-3, 2009. Click here for information.
Upcoming Events:
-
Special session on categorical logic. Part of the ASL winter meeting in Washington, D.C., March 17-20 2010.
Invited speakers: Steve Awodey, Robin Cockett, Michael Makkai, Bob Par'e and Mike Shulman.
-
Fields Workshop on Semigroups and Categories, Ottawa, May 2-4 2010.
Organised jointly with Benjamin Steinberg and Jonathon Funk. Invited speakers:
Robin Cockett, Thierry Giordano, Mark Lawson, Ernie Manes, Dorette Pronk, Pedro Resende and John Rhodes.
-
MFPS XXVI, Ottawa, May 6-10 2010.
-
LICS/FLoC workshop on PCAs in realizability and computability, Edinburgh, July 9th, 2010.
Organised jointly with Robin Cockett. Invited speakers (so far): Andrej Bauer, Inge Bethke,
John Longley, Jaap van Oosten, Pino Rosolini.
Research Interests:
Category theory and categorical logic, realizability, partial combinatory
algebras, computability.
Publications online:
click here in order to see abstracts and to
download preprints of some research papers.