Picture of James Harland
James Harland
(what's this?)
B.Sc.(Hons)(Melb.),PhD.(Edin.)
To strive, to seek, to find and not to yield...
Office: 12.10.41 14.10.1 City Campus (Building 14, Level 10, Room 1)
Phone: +61 3 9925 2045/2348     Fax: +61 3 9662 1617
Associate Professor in Computational Logic
Discipline Head, Software Engineering
School of Computer Science& Information Technology
RMIT University
124 La Trobe Street/GPO Box 2476
Melbourne, 3001, Australia
Email: Click to email me (or use james dot harland at rmit dot edu dot au)

Research

Activities

Students

Teaching

Admin

Other

Published Papers
Draft Papers
General Interests
Current Projects
Agents
Orpheus
Proof Theory
Busy Beaver
Busy Beaver Blog
Lygon
Agents in Lygon
RMIT Agents
RMIT Computational Logic
RMIT Intelligent Systems
RMIT Mobile Media
Turing Trains
Mine Clearance
Mine Clearance (login required)
LinkedIn
Facebook
Easychair
Colleagues
Research Resources
Research Tasks
Research Notes
CATS Discussion Track Description
CATS Discussion Track Site
AAMAS'12
ACSW'12
IJCAR'12
ACSW'13
IJCAI'13

Current Students
Cryptography Project
Former Students
Research Topics
PhD Topics
Minor Thesis Topics
Honours Topics
Project Topics
Programming Projects
Becoming a student




Peer Assisted Teaching
Approach
History
Computing Theory (student page)
Computing Theory (support page)
Intro to IT (support page)
Mathematical Logic and Logic Programming
Intelligent Agents and Agent-Oriented Systems
Research Methods
Technical writing lecture
Videos
Robots



Presentations
Seminars
RMIT Vietnam
Activities
Availability
Consultation
CATS Council







Personal
Harlands
Pictures
over... and... out!
Never say "Never!"
Curriculum Vitae
Talk
Singing







Downloads
In 2011, I will be teaching Computing Theory (semester 1) will be taken by Sebastian Sardina, with some small involvement from me.

As I will be on long service leave from 1st August to 10th October, I will not be teaching any courses in semester 2. This means that Introduction to IT will be taken by Daryl D'Souza in semester 2, and that Mathematical Logic and Logic Programming will probably not be running in 2011, as it is usually run in semester 2.

I will also have some minor involvement in Intelligent Agents and Agent Oriented Systems (semester 1), and Research Methods (semester 1).

In accordance with RMIT's Electronic Communications Policy this web site and its contents are the responsibility of James Harland. The content is not authorised by and does not necessarily reflect the views of the University. Permission is granted to use the content of this web site to wrap fish or as garden compost, unless the fish in question is European carp, in which case permission is withdrawn with extreme prejudice (except on public holidays in the State of Victoria where there is no commercially operating espresso machine within five-and-a-half furlongs, and prior written permission has been obtained under a full moon). No special permission is ever required to throw this web site at rabbits. Use of the web site to impale cane toads is strictly encouraged.