Welcome to the non-home page of Lee Naish

Dr. Lee Naish
Senior Lecturer
Department of Computing and Information Systems
ICT building
University of Melbourne
Melbourne
Victoria 3010
Australia

E-mail: The heritage version, lee at cs.mu.oz.au still works but cs.mu.oz.au is unfortunately now deprecated; you may want to use unimelb.edu.au instead for e-mail and cis.unimelb.edu.au WWW)
WWW: http://ww2.cs.mu.oz.au/~lee/

Phone (department): +61 3 8344 1500
Phone (my office): +61 3 8344 1343
Fax: +61 3 9349 4596
Legs: 525#111-Barry_St.Carlton (from May 7: Room 7.23, Doug McDonell - Building 168)
Telex: Hey, its the third millennium! Who uses that obsolete technology nowadays? You don't really want my telex number do you? Oh. Ok, its AA 35185.
My PGP public key

This page is not under construction. It is finished, complete, perfect and faultless. /strong>

"Can I have Spam, Spam, Spam, Spam, Spam, e-mail, Spam, news and Spam without the Spam?"

Note

As from the start of March 2000 I have been working half time due to health reasons. Unfortunately, my e-mail load didn't immediately drop by half and it is a major obstacle to getting other work done. In addition, I have become a father, causing somewhat of an e-mail backlog amongst other things. So, please direct enquiries as below. If you do send me e-mail, make sure the subject line and start don't look like spam - my "delete without looking further" threshold has been lowered. Weirdly encoded stuff, javascript, unreadable HTML, images, Micro$oft-dependent files etc generally go straight to /dev/null.

Topic	Direct to
Fire breathing	/dev/null
International student internships/studentships	/dev/null
Spam	/dev/null

Feel free to e-mail me for an appointment.

Research Interests

My research interests center around Logic Programming (along with a large group of others in the department). I have recently been thinking about modes, types, pruning and higher order constructs. I have also been working on declarative debugging of of logic, functional and other declarative languages. More recently I have been looking at debugging of (any) languages using program spectra (eg data on what statements are executed in each of a set of passed or failed tests). I am also interested in integration of declarative languages, testing and parallelism. I have some involvement with the Mercury project. I'm also involved with the development of an algorithm animation package, Algorithms In Action (AIA) and have some interest in intellectual property and "information economics".

Interesting? You might like to take a look at some of my

papers or
software (mostly written in NU-Prolog).

The above pages are occasionally not maintained well, so there are more papers particularly which I have not put there yet.

I have some input into the supervision of the following postgraduate students:

Name Topic

Ben Horsfall (completed Masters,
still doing a PhD) Logic and functional programming

Peter Eckersley (flown the coop
but has finally submitted - yay!) Information economics

Dr. Jason Lee (completed, his Thesis) Debugging using program spectra

Dr. Bernie Pope (completed, winner of the ACS
distinguished dissertation award for 2007) Declarative debugging of Haskell

Name	Topic
Ben Horsfall (completed Masters, still doing a PhD)	Logic and functional programming
Peter Eckersley (flown the coop but has finally submitted - yay!)	Information economics
Dr. Jason Lee (completed, his Thesis)	Debugging using program spectra
Dr. Bernie Pope (completed, winner of the ACS distinguished dissertation award for 2007)	Declarative debugging of Haskell

Teaching

In 2012 I have involvement with the following subjects (at least there is a fair chance - things change at the last minute with no notice)

In the not too distant past I have also been involved with

INFO10002 Informatics 2: Programming on the Web
433-432/632 Logic Programming (Advanced Prolog programming techniques, Mercury, theory, implementation etc).
433-521 Algorithms and Complexity
433-343 Professional Issues in Computing (social issues, ethics, privacy, risks, IP, communication skills etc)
433-253 Algorithms and Data Structures (C programming, algorithms and data structures in imperative and declarative languages, though there is not much of the latter nowadays)-:
433-255 Logic and Computation (Prolog programming, logic, computability).
433-344 Legal Issues in Computing (A research-based subject covering topics such as intellectual property, relationships between legislation, logic and algorithms, computers and evidence, ...)
433-303 Artificial Intelligence (agents, problem solving, game playing, logic, etc).
433-257 Frontiers of Computer Science (several lectures on declarative debugging).

Administration

Not my favourite topic, but I am definitely the best Privacy Liason Officer the department has ever had. You might be able to find out who is responsible for what in the department here (mind you, I can't guarantee its up to date).

I have also put in a submission to the 2005/2006 Review of the Faculty of Engineering.

Other

Yes, I do have a life... You might like to check out

A list of useful links (gives some indication of my other interests, or at least what they were a decade or two ago)
A list of useless links. If you are tempted by this please quit now. You are obviously wasting valuable bandwidth, which I could be using to do the world a favour and update my what is currently in my pocket page from my COOL form interface. Hmm, this joke is looking a bit dated - I guess I should upgrade it from HTML version 2.0 to Java/XML/... Gosh, even that meta-joke is getting outdated - I should be using Web 2.0 technologies so you can update and discuss what is or should be currently in my pocket and I can spend my ample spare time reading it.
My tips on how to solve the world's problems
The Proportional Representation Society home page, including my online vote counting system (sorry, thats been broken for ages)
The ERA School home page.
Photos of me rock climbing, unicycling, juggling, fire breathing (I get more e-mail about this than anything else on my Web pages; all information I have on this topic can be found here) or just being dull and boring

Due to ammendment number 73 of 1996 of Regulation 8.1.R7 of The University of Melbourne I am compelled to include the following fascinating information:

This page, its contents and style, are the resposibility of the author and do not necessarily represent the views, policies or opinions of The University of Melbourne.
The same disclaimer applies for all my other computer files, technical reports, papers, lecture notes, handouts, text and diagrams on white boards, toilet walls, etc.
The author of this page is Lee Naish
This page was probably last updated around Wed May 2 13:08:47 EST 2012 but your browser should be able to provide accurate information on modification dates. As for when the content of the page were most recently correct (if ever), who knows?
I don't know when this page was created, boss, but it was certainly before any regulations saying you had to include such information on pages.
I hope "The University of Melbourne" is not a trademark of The University of Melbourne, otherwise I'm in real strife.
This section of this page, its contents and style, do not necessarily represent the views, policies or opinions of The Author.
I used to have a Home Page but the regulations now say:
A Home Page is the first single page, or point of contact, for a Faculty, Department or Organisation. The subsequent pages that the Home Page leads to should simply be referred to as "pages".

I wanted a Homme Page instead, but the the official booklet says to avoid gender-specific speech and writing.
I considered a Noam page, but didn't want to question the authority of the official archive.
I thought about an Ohm Page, but the faceless bureaucrat said resistance is futile.
I dreamed about a Gnome Page, but was told they don't exist.
I meditated about an Om Page, but my mind went blank.
So, for now, I've settled for a non-Home Page.