| Research - Alexander S. Green |
|
Papers
From reversible to irreversible computations
with Thorsten Altenkirch.
QPL 2006, Oxford, July 2006.
First year report
Nottingham, December 2006.
Shor in Haskell - The Quantum IO Monad (code available from here.)
with Thorsten Altenkirch.
submitted to TFP 2008, Nijmegen, May 2008.
The Quantum IO Monad
with Thorsten Altenkirch.
Draft version of chapter submitted for publication in "Semantic Techniques in Quantum Computation"
PhD Thesis
Towards a formally verified functional quantum programming language
Alexander S. Green, The University of Nottingham, July 2010
Talks
Reversible Quantum Circuits from Irreversible functions
BCTCS 2006, Swansea, April 2006.
From reversible to irreversible computations
with Thorsten Altenkirch.
QPL 2006, Oxford, July 2006.
The Quantum IO Monad
FOP Away Day, Ruddington, January 2007.
The Quantum IO Monad
BCTCS 2007, Oxford, April 2007.
Shor in Haskell, and the Quantum IO Monad
The Second QNET Workshop, The Royal Society, London, December 2007.
Quantum Programming in Haskell with the Quantum IO Monad
Second QICS Workshop, Grenoble, April 2008.
Shor in Haskell - The Quantum IO Monad
TFP 2008, Het Heijderbos, May 2008.
Posters
Functional Quantum Programming - The Quantum IO Monad
QICS Workshop on "Foundational Structures for Quantum Information and Computation"
Obergurgl, September 2008.
Conferences
30th November 2005 - QUOXIC
- (Merton College, Oxford)
8th - 9th December 2005 - Q-day II
- (IHP, Paris)
19th December 2005 - MGS Christmas Seminars 2005
- (The University of Nottingham)
4th - 7th April 2006 - 22nd British Colloquium for Theoretical Computer Science
- (Swansea University)
8th - 12th April 2006 - Midlands Graduate School 2006
- (University of Leicester)
18th - 21st April 2006 - Types 2006
- (The University of Nottingham)
19th - 21st April 2006 - Trends in Functional Programming 2006
- (The University of Nottingham)
23rd May 2006 - QUOXIC
- (Imperial College, London)
3rd July 2006 - QUOXIC
- (Oxford)
17th - 19th July 2006 - 4th International Workshop on Quantum Programming Languages
- (Oxford)
17th - 23rd July 2006 - Cats, Kets and Cloisters
- (Oxford)
16th November 2006 - Fun in the Afternoon
- (Oxford)
4th - 5th December 2006 - QNET Workshop 2006 (Q-day III)
- (University of Glasgow)
19th December 2006 - MGS Christmas Seminars 2006
- (The University of Sheffield)
17th - 18th January 2007 - FoP Away Day 2007
- (The Country Cottage Hotel, Ruddington)
February 21st 2007 - Fun in the Afternoon
- (The University of Nottingham)
15th - 17th March 2007 - 1st QICS Workshop
- (Oxford)
2nd - 5th April 2007 - 23rd British Colloquium for Theoretical Computer Science
- (St. Anne's College, Oxford)
16th - 20th April 2007 - Midlands Graduate School 2007
- (The University of Nottingham)
17th May 2007 - Fun in the Afternoon
- (Cambridge University)
27th - 31st May 2007 - The Seventh Canadian Summer School on Quantum Information
- (University of Waterloo, Canada)
Alexander S. Green
|
|
