Research interests for Brett Giles
My 2014 Ph.D. thesis from the University of Calgary, in Computer Science,
titled An investigation of some theoretical
aspects of reversible computing, in PDF, 220 pages, 941K.
Together with Peter Selinger:
Exact synthesis of multi-qubit
This is a preprint, the final version is published in Phys. Rev. A 87, 032332 (2013).
My 2007 Masters thesis from the University of Calgary, in Computer Science,
titled "Programming with a Quantum Stack":
pdf(letter), 190 pages, 647K; 770K; 1M.
You can also go to the LQPL page.
My 1981 Masters thesis from the University of Alberta, in Algebra,
titled "The Unit Groups of Certain Group Rings":
pdf, 46 pages, 252K.
In Fall 2008, I took a course on agent communication - Robots! I wrote a
course paper Agent Communication, Social Commitment Theory and Polycategories. (8 pages, pdf)
In Fall 2007, I took a course on compilers, code generation and optimization. I gave a presentation on Typed Assembly Language. (27 slides, pdf)
My most recent theory course was CPSC701.04, Proof theory and Linear Logic.
Lecture notes for part 1, linear logic, linearly
distributive category, SigmaPi logic, datatypes.
Lecture notes for part 2, restriction categories.
My previous theory course was CPSC613, Proof theory and program transformation.
Here are my
notes for it.
Talks and Presentations.
- Talk at FMCS 06 on
L-QPL as delivered in my thesis. (Slightly outdated, but not horribly so - 49 pages, pdf).
- Talk at FMCS 03 on
QPL and my work and plans for the compiler. (Horribly outdated - 23 pages, pdf)
- Talk at Fields 03 on
QPL (An expansion of the FMCS 03 talk - 29 pages, pdf).
- Program transformationfor
PIMS tour at the U of C, January 2003 (24 pages, pdf)
All diagrams in the QPL presentations were created by
Dr. Peter Selinger and were
used with his kind permission.
Last modified by
Last modified: 2013-11-14