Teaching
Courses in 2008
Other recent courses
Honours/Masters projects
Here is a collection of Honours/Masters project proposals for 2008.
Research
I am currently Chief Investigator on the ARC Discovery Project,
Early Detection of Computer Incompatabilities in Time-dependent Computer
Architectures. This project is funded from 2006-2008.
Previously I was a co-Chief Investigator on the ARC Discovery Project
Verified Emulation
of Legacy Mission Computer Systems (VELMS). This project was
funded from 2004-2006.
From 2002-2004 I worked as a Research Fellow on the ARC Discovery Project Compilation of Specifications.
From mid-1999 to early 2002
I worked as a Research Fellow on the Refinement Calculus
for Logic Programming (RefLP) project, an ARC funded project.
In 2000 I was awarded a Doctorate, after completing a PhD in the School
of Information Technology and Electrical Engineering at the University
of Queensland. My thesis, titled A
Unified Approach to Adapting and Retrieving Formally Specified Components
for Reuse , can be viewed from here
as a series of pdf files. Some of the concepts explored in the thesis include:
Component-based reuse, specification matching, formal methods, retrieval
and refinement. Part of this project involved extending the toolset for
CARE to support component-based
research.
Prior to starting my PhD I worked as a Research Assistant on the
CARE project.
Here is a list of my publications sorted by
year of publication.
Other information
Here is a link to a list of pages relating
to formal methods, logic programming, reusable components and some other
stuff.
Here is some useful(?) systems related stuff.
David Hemer
Last modified: Wed Dec 22 13:15:50 CST 2004
| 
