Lee Naish
240
Academic contribution (See all users)

By role

135
PeerJ author
105
PeerJ PrePrints author

By subject area

Lee Naish


Summary

Lee Naish completed his PhD at The University of Melbourne in 1985 and continued there as an academic. His main research has been attempting to clarify the relationships between what we want a computer to do, the programs we write, and what they make a computer do: debugging, verification, programming languages and semantics. Other interests include set similarity and its use in spectral debugging. In December 2014 he was diagnosed with terminal prostate cancer.

Programming Languages Software Engineering Theory & Formal Methods

Work details

Senior Fellow

The University of Melbourne
Computing and Information Systems

Websites


Articles published in PeerJ


Preprints