CV: Richard Buckland

Academic

Postgraduate Diploma in Higher Education, Macquarie University (commenced 2005)

Certificate of Teaching in Higher Education, Macquarie University (1997)

Ph.D. in Computing, Macquarie University (1992–present)

Bachelor of Science with First Class Honours and University Medal, Macquarie University (1991)

Bachelor of Economics, Macquarie University (1986)

Honours and Awards

UNSW Vice-Chancellor's Award for Teaching Excellence (2005)

The Inaugural UNSW Faculty of Engineering Teaching Excellence Award (2004)

Microsoft Research Fellowship ($20,000 p.a.) (1992–1995)

Australian Postgraduate Research Award (priority) (1992–1995)

University Medal in Computing (1991)

The MLC Undergraduate Scholarship — 3 years ($10,000 p.a.) (1984–1986)

Professional Experience

Lecturer in Computing at The University of New South Wales (1997–present)

Lecturer in Computing at Macquarie University (1995–1996)

Consulting Actuary, Towers Perrin Sydney (1989–1992)

Business Systems Analyst, MLC Life (1987–1989)

Professional Activities

Reviewed HSC subjects SDD and IPT for Board of Studies (2005)

HSC Computing Studies Examination Committee (1999)

Fellow of the Institute of Actuaries of Australia (FIAA) (admitted 1990)

Teaching Experience

Lectured in Computer Science at The University of New South Wales (1997–present)

Designed course and taught maths enrichment to gifted grade 6 students (2004, 2005), to grade 1 students (2005)

Designed, ran, and taught at various summer and winter schools for high school students at UNSW (1999–2003)

Taught and mentored gifted students and students with learning difficulties at SCECGS Redlands (1995–2000)

Lectured in Computer Science at Macquarie University (1995–1996)

Tutor in Computing, Mathematics, Statistics at Macquarie University (1990–1994)

Tutor for students with mathematical and language difficulties at the Macquarie Numeracy Centre (1994)

Guest lecturer in Actuarial Studies at Macquarie University (1994)

Tutored, wrote investment theory course notes, set and marked exams for the national fellowship examinations of the Institute of Actuaries of Australia (1991, 1992)

Teaching Areas

First Year Computing

Design

Cryptography and Security

Algorithms

Digital Design

Parsing and Translation

Mathematics

Research Interests

Teaching and Learning

Distributed Algorithms

Concurrency

Process Algebras

Computational Algebra

Logic Programming

Formal Methods

Security

Theory of Computation

Publications