Lambda the Ultimate

B.Sc, B.E. University of Adelaide, Australia.
PhD Griffith University, Australia.
Post Doc. University of Queensland, Australia.
Now a software engineer.

Programming languages. Type systems (although I know little about them).