Nicholas J. Hay

I'm a second year PhD student of Prof. Stuart Russell, working on metareasoning: the problem of designing systems which reason about their reasoning, or more generally spend time computing what they should next compute. We are looking to develop a firm theoretical foundation, then build practical applications upon it.

I was a GSI for the Spring 2009 undergraduate AI course CS188.

Publications

1. Cristian S. Calude, Nicholas J. Hay ``Every computably enumerable random real is provably computably enumerable random,'' In Logic Journal of the IGPL, June, 2009.
2. Nicholas J. Hay ``Simulation Complexity,'' In Fundamenta Informaticae 83(1-2): 117-140, 2008.
3. Nicholas J. Hay ``Universal Semimeasures: An Introduction.'' Masters Thesis, University of Auckland Computer Science Department, 2007. Also appeared as CDMTCS Technical Report 300, 2007.
4. Shayne Waldron and Nick Hay. ``On computing all harmonic frames of $n$ vectors in $\C^d$,'' In Applied and Computational Harmonic Analysis, 21(2):1-1-181, 2006.
5. Nicholas J Hay. ``Optimal Agents.'' Honours thesis, University of Auckland Computer Science Department, 2005. Also available as CDMTCS Technical Report 275, 2005.