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