placeholder image

DR Lee Naish

Positions

  • Debugging
  • Declarative programming languages

Overview

OverviewText1

  • 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".   

Publications

Selected publications

Research

Additional Grant Information

  • 2013: S. Chang, S. Dreyfus and L. Naish, 'Develop a set of modules to use social media to help primary school students learn language & engage with students at a distant school', UoM Collier Charitable Fund, 20K   

Awards

Education and training

  • PhD, University of Melbourne
  • BSc, University of Melbourne

Linkages

Supervision

Available for supervision

  • Y