Dr. D J Greaves: Previous Research.

Home Networking

  • HAN group pages.

    I have done quite a bit of work in the past 10 years under the `Home Networking' monica. Right now I am looking at methods for generating and representing user applications and formally checking them. IWAC02.

  • the Autohan approach to control of home devices by unskilled people.

  • HanLan Project which is possibly part of the tentative MultiMac Project.

Downloads and Info