Geoff Barrett

• The new atlas of Australian birds
• Formal methods applied to a floating point number system