Joel Kelso is a research associate at the Schools Computer Science and Software Engineering at the University of Western Australia. He is a member of the Complex Systems research group. He is currently involved in projects for computer modelling of bushires and influenza epidemics.

Some Software

• The 'Biomass' Simulator - a simple simulator for systems of thousands of mobile 'creatures' that roam around a cellular world consuming resources and each other.
  
• Dendra - LISP syntax parsing and printing code in C, Java and Haskell.
  

• Joel Kelso and George Milne Properties as Processes: their Specification and Verification In proceedings of 25th International Conference on Formal Techniques and Distributed Systems (FORTE 2005). LNCS 3731, pp 503-517, Springer-Verlag, 2005
  pdf (302 kb)
  Published in the LNCS series (c) Springer-Verlag 2005.
  
• Joel Kelso A Visual Programming Environment for Functional Languages
  PhD Thesis, Department of Engineering, Murdoch University, 2003. pdf (1.2 mb)