Clem Baker-Finch

Clem Baker-Finch
Department of Computer Science
Australian National University
ACT 0200
Australia

Phone: +61 (0)2 6125 4625
Fax: +61 (0)2 6125 0010
Office: N317, Building 108

Teaching 2008

COMP1100 Introduction to Programming and Algorithms
COMP2600: Formal Methods for Software Engineering

Research

I'm interested in the application of semantics, and formal methods in general. My activities currently centre on functional programming. In particular:

Parallel functional programming
- Ben Lippmeier and I have developed Ample, an experimental environment that can be used to study the behavior of parallel programs in terms of an abstract machine, without needing to worry about details particular to a native implementation.
Static analysis
Program transformation
Logic and type systems

Some of my papers are available on-line.

References

Here are some on-line manuals and references. In all likelihood, they are out of date.