profile icon
Dr

Lee Naish

Honorary
computer science
science & technology
technology
computer science, software engineering
computer science, theory & methods
engineering, electrical & electronic
engineering
computer science, information systems
spectral debugging
Lee Naish's Profile Picture
Dr

Lee Naish

 
Division
Engineering
 
Primary Interest
Declarative Programming Languages
Lee Naish's Profile Picture
Dr

Lee Naish

 

Dr Lee Naish is a Senior Fellow in the Department of Computing and Information Systems at the University of Melbourne.

My main research interests center around correctness of computations. This includes significant work on declarative programming languages, semantics and debugging.

I have also been also involved with the development of an algorithm animation package, Algorithms In Action (AIA) and have some interest in set similarity, voting systems, intellectual property and "information economics".

Projects

Displaying the most recent project by Lee Naish.

Scholarly Works

Displaying the 35 most recent scholarly works by Lee Naish.

News

Displaying the most recent news article by Lee Naish.

Credentials

Positions


Honorary

Computing And Information Systems

Education


Bachelor of Science

University of Melbourne

Doctor of Philosophy

University of Melbourne