(anymeyer @ cse .unsw .edu .au)

Please consult Nicola Kwan in the School Office for all postgraduate research enrolment queries. Qualifications: Bachelor of Mathematics, Uni. of Newcastle, Australia Diploma in Computer Science, Uni. of Newcastle PhD, Uni. of Newcastle (1986) Position: Assoc. Prof., School of Computer Science and Engineering, UNSW, Australia Research interests: Formally engineering software Specification languages Compilation Code generation using rigorous techniques PhD Scholarships available (May, 2006) Some research papers Some research proposals Helpful links: UNSW Map Sydney

Contact Details: Albert Nymeyer School of Computer Science and Engineering The University of New South Wales UNSW SYDNEY 2052, AUSTRALIA Phone: +61 2 9385 4028 Fax : +61 2 9385 5995 Room: 213, CS&E Building (also called K17)