publications
Audience Interactive Performance in “The Last Man to Die”
(forthcoming in “The Australasian Computer Music Conference”, June 24-26, 2010)
The Last Man to Die is an ongoing interactive performance project by Last Man to Die, a cross artform group consisting of actor, Hanna Cormick, visual artist, Benjamin Forster and percussionist, Charles Martin. One of the goals of this project is to allow the audience to “play” with our system and enjoy unexpected and unguarded responses. This paper explains technical and artistic aspects of our open-ended performance, designed to meet this goal, and our focussed method of interaction with the audience, QR codes printed on their tickets.
Cross-artform performance using networked interfaces:
Last Man to Die’s Vital LMTD
(forthcoming in “New Interfaces for Musical Expression”, June 15-18 2010)
In 2009 the cross artform group, Last Man to Die, presented a series of performances using new interfaces and networked performance to integrate the three artforms of its members (actor, Hanna Cormick, visual artist, Benjamin Forster and percussionist, Charles Martin). This paper explains our artistic motivations and design for a computer vision surface and networked heartbeat sensor as well as the experience of mounting our first major work, Vital LMTD.
Master of Music Project (2009)
Percussion and Computer in Live Performance: link to pdf document
This thesis seeks to articulate a performer's perspective of the interactions between percussion and computer in performance. A selection of compositions for percussion and computer are used to explain how understanding the role of the computer can inform the player's technical and musical choices and is vital to convey a cohesive performance. Two of the compositions are the author's own work. Discussion of both the creation and performance of these works suggests how using the computer with percussion extends the musical possibilities in a solo performance and allows implicit connections with practitioners of other art-forms.
Honours Project (2008)
Mathematical Foundations of Computer Based Proof Verification
My honours project is an exploration of computer assisted theorem proving for mathematicians. I am considering the reasons why mathematicians might want to use computers to help with proof, evaluating the current state of the art in computer proof assistants and considering in depth the mathematics showing why such systems can be built and be reliable.
Verifying R.S.A. Cryptography (2007):
Verifying the Theorems behind R.S.A. in Isabelle
I performed a verification of the theorems behind R.S.A. cryptography using the computer proof assistant Isabelle. My report (including the code) is below. The purpose of this exercise was to learn about machine verification of mathematical proofs. I undertook this as a summer project at the Research School of Information Sciences and Engineering at A.N.U.
Logic presentations (2008):
Cohomology Operations (2008):
Some notes about Cohomology Operations, following Mosher and Tangora (1968).