Research interests for Brett Giles

Publications.

My 1981 Masters thesis from the University of Alberta, in Algebra, titled "The Unit Groups of Certain Group Rings": pdf, 46 pages, 252K.
My 2007 Masters thesis from the University of Calgary, in Computer Science, titled "Programming with a Quantum Stack": gzipped ps(A4); gzipped ps(letter); pdf(letter), 190 pages, 647K; 770K; 1M. You can also go to the LQPL page.
Together with Peter Selinger: Exact synthesis of multiqubit Clifford+T circuits. This is a preprint, the final version is published in Phys. Rev. A 87, 032332 (2013).
My 2014 PhD Thesis, An investigation of some theoretical aspects of reversible computing. 220 pages, PDF format.

Courses

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)

Other

CPSC deparartmental presentation of Dr. Selinger's QPL as given by myself and Dana Harrington in early 2003. (41 pages, pdf)

All diagrams in the QPL presentations were created by Dr. Peter Selinger and were used with his kind permission.

Last modified by Brett Giles
Last modified: 2020-06-28