Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Lee's homepage no more!
E-mail: lee@cs.mu.oz.au (cs.mu.oz.au is unfortunately now deprecated;
you may want to use csse.unimelb.edu.au instead for e-mail and
eventually WWW)
WWW: http://www.cs.mu.oz.au/~lee/
Phone (department): +61 3 8344 1300
Phone (my office): +61 3 8344 1343
Fax: +61 3 9348 1184
Legs:
525#111-Barry_St.Carlton
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.
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
debugging of
of logic,
functional and other declarative languages. 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
I have some input into the supervision of the following postgraduate
students:
Name
Topic
Jason Lee
Debugging
Ben Horsfall (completed Masters,
started PhD)
Logic and functional programming
Peter Eckersley (flown the coop
but will submit one day, really)
Information economics
Bernie Pope (completed, winner of the ACS
distinguished dissertation award for 2007)
Declarative debugging of Haskell
Teaching
In 2008 I have involvement with the following subjects (at least there
is a fair chance - things change at the last minute with no notice)
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)-:
See
http://www.cs.mu.oz.au/253/
In the not too distant past I have also been involved with
433-343
Professional Issues in Computing (social issues, ethics, privacy, risks,
IP, communication skills etc)
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, ...)
See
http://www.cs.mu.oz.au/344/,
when available
Not my favourite topic, but I am definitely the best
Privacy Liason Officer the department has ever
had.
You can 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
whats 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/...
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
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.
This page was probably last updated around
Fri Feb 22 15:46:56 EST 2008
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.