I am currently a postgraduate student at the
University of Melbourne in the
Department of Computer Science
and Software Engineering. You can find out more about me
on my personal website at
http://www.rfk.id.au/.
My thesis is entitled "Asynchronous Multi-Agent Reasoning in the Situation Calculus" and was completed in October 2008 under the supervision of Dr. Adrian Pearce. There's a PDF available for download here as well as a listing of associated software.
I am nominally located in room 3.25b of the ICT Building, 111 Barry Street, Carlton, Victoria 3053. The best way to contact me is by email, via rfk(at)csse.unimelb.edu.au.
This page, its contents and style, are the responsibility of the author and do not necessarily represent the views, policies or opinions of The University of Melbourne.