Research Expertise and International Linkages
Research Expertise
| Research Interest |
Key Words |
Country of Expertise |
| Boolean functions |
Data structures and algorithms for Boolean functions |
Australia |
| Fixed point theory |
Lattices; Order; Algorithms |
Australia |
| Programming languages |
Programming language semantics; Declarative programming |
Australia |
| Static analysis of software |
Abstract interpretation; Semantics-based analysis |
Australia |
| Program transformation |
Compilation; Partial evaluation |
Australia |
International Linkages
Qualifications, Honours, Fellowships and Other
Awards
Qualifications
| Title |
Institution |
Date Awarded |
Abbreviation |
| Master of Science |
Copenhagen University |
27-Jan-1987 |
|
| Doctor of Philosophy |
Copenhagen University |
15-Dec-1989 |
|
Memberships
| Membership Type |
Membership Body |
Description |
Start Date |
End Date |
| Member |
Association for Computing Machinery |
Professional |
31-Jul-1991 |
|
| Member |
American Society for Engineering Education |
ASEE |
01-Jun-2004 |
|
| Member |
European Association for Programming Languages and Systems |
EAPLS |
01-Jun-1995 |
|
| Member |
European Association for Theoretical Computer Science |
EATCS |
01-Oct-1987 |
|
| Member |
National Tertiary Education Union, Australia |
NTEU |
01-Jan-1990 |
|
Other Awards
| Award Type |
Awarding Body |
Comments |
Date Awarded |
| Other (Award) |
The Carrick Institute for Learning and Teaching in Higher Education |
Carrick Australian Awards for University Teaching: Citation for Outstanding Contributions to Student Learning |
08-Aug-2007 |
| Other (Award) |
Computing Research and Education Association of Australasia |
Inaugural CORE Teaching Award (national computer science teaching award) |
01-Feb-2007 |
| Medal |
Kelvin Club, Melbourne |
Kelvin Medal for Excellence in Engineering eEucation |
20-Aug-2003 |
| Other (Award) |
The University of Melbourne |
Edward Brown Award Commendation |
07-Dec-2004 |
Government Research Classifications
Research Fields, Courses and Discipline Classifications
Socio-Economic Objective Classifications
Grants and Contracts
Research Grants, Contracts and Consultancies awarded to the University of Melbourne as the administering institution (since 2003) as recorded in Themis Agreements.
Grants
| Title |
Role |
Funding Source |
Scheme |
Award Date |
| ARC Centre for Perceptive and Intelligent Machines in Complex Environments |
Chief Investigator |
MONASH UNIVERSITY,
AUST RESEARCH COUNCIL |
Centres of Excellence (AUST RESEARCH COUNCIL) |
01/01/2004 |
Publications
Publications produced at the University of Melbourne and reported in the Annual Publications Collection and 'Research Report' since 2001. The Themis Publications module, released in November 2006, allows additional publications from previous institutions and publications from past years to be entered.
(Hide full listing)