Peter Lindsay

Brisbane

Peter Lindsay in Brisbane works at IEEE Queensland (Aerospace & Electronic Systems Society section chair) and was educated at University of Illinois Urbana-Champaign.

  Share this profile

IEEE Queensland 2010 - 2011
Aerospace & Electronic Systems Society section chair

Software Verification Research Centre Aug 1991 - Jul 2001
Assistant (later Deputy) Director

University of Manchester Jul 1984 - Jul 1989
Research Fellow in Computer Science

University of Illinois Urbana-Champaign   1981 - 1984
PhD. Mathematical logic

University of Melbourne   1975 - 1978
BSc(Hons). Mathematics