I'm a software consultant with Simple Machines, having consulted for Telstra and Health Combined. I previously worked with Analytics and Information at the Commonwealth Bank of Australia, building the ETL pipeline supporting their Customer Decisioning and Insights platform. I'm an experienced Scala developer, and have worked with Hadoop MapReduce, Scalding, Spark, Cassandra, Kafka, and a wide variety of other technology.

I previously completed a Ph.D. in Computer Science and a Bachelor of Computer and Mathematical Sciences (First Class Honours) at the University of Western Australia. My Ph.D. thesis was titled Logics for quantifying over information change and my honours thesis was titled Refinement Quantifiers for Logics of Belief and Knowledge, both supervised by Tim French and Rowan Davies. At UWA I participated in the Computer Science Students Club, competed in and later assisted in organising and training for the ACM ICPC at UWA, and taught as a laboratory demonstrator for databases, and data structures and algorithms courses.

In my free time I play video games, build Lego, and race bicycles.

Curriculum Vitae

For a listing of my publications and details of my research and postgraduate studies, see my research page.

Excerpts from my curriculum vitae are below. You can also download the full version in PDF format.

Download CV

Professional Experience


Simple Machines

Health Combined (June 2017 – September 2017)

  • Software consultant for Health Combined, an Australian medical social network.
  • Implemented a video transcoding pipeline to support streaming video attachments on wall posts and private messages. Developed in Scala using Amazon SQS and Elastic Transcoder.
  • Implemented an event sourcing back-end to support organisation pages on the social network. Developed in Scala using Amazon Kinesis and DynamoDB.

Telstra (September 2017 – Present)

  • Software consultant for the Harold project at Telstra, a customer-service chat bot platform.
  • Implementing a web application for designing chat bots, an engine for running chat bots and integrating to external chat services, and an acceptance testing framework for testing chat bots.
  • Back-end developed in Scala using Akka and Akka HTTP, and front-end developed in Javascript using React and Redux.

The Commonwealth Bank of Australia

Customer Decisioning and Insights (June 2015 – March 2017)

  • Software engineer for Customer Decisioning and Insights, an expert system providing real-time, personalised marketing strategies across inbound and outbound channels.
  • Designed and developed the lambda architecture data load pipeline supplying Customer Decisioning and Insights with integrated feeds of bach and streaming analytics and information.
  • Developed in Scala, using Hadoop MapReduce, Scalding, Spark, Kafka, Cassandra, Oracle, and a variety of open source libraries developed in-house.

DailyIQ (March 2017 – June 2017)

  • Software engineer for DailyIQ, a free business analytics and insights tool offered to business customers.
  • Reimplemented the supporting ETL pipeline in Apache Spark, enabling the analytics offering to scale to support small business customers.
  • Developed in Scala using Apache Spark.

School of Computer Science and Software Engineering, The University of Western Australia
Laboratory demonstrator, CITS2232 Databases (2013). CITS2200 Data Structures and Algorithms (2014).


Information Services, The University of Western Australia
IT support analyst, Student Internet Support Office.



Doctor of Philosophy, Computer Science
The University of Western Australia, Perth, Australia.


Bachelor of Computer and Mathematical Sciences (First Class Honours)
The University of Western Australia, Perth, Australia.


Bachelor of Computer and Mathematical Sciences
The University of Western Australia, Perth, Australia.

Short Courses


24th European Summer School in Logic, Language and Information
Uniwersytet Opolski, Opole, Poland.


Ph.D. School on Modal Logics, prior to the 7th Methods for Modalities workshop
Universidad de Málaga, Málaga, Spain.


Logic Summer School
Australian National University, Canberra, Australia.

iVEC/WASP OpenCL Summer School
iVEC and the Western Australian Supercomputer Program, Perth, Australia.

Visiting Scholar Positions


Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
Computational Epistemic Logic in Lorraine research group (CELLO)
Université de Lorraine, Nancy, France.
Arbitrary positive announcement logic, group refinements and group action models, and awareness of epistemic actions.

Institut de Recherche en Informatique et Systèmes Aléatoires
Logic and Applications research group (LogicA)
Université de Rennes 1, Rennes, France.
Expressivity of refinement quantified transitive modal logic.

Scholarships and Prizes


Convocation Postgraduate Research Travel Award
The University of Western Australia.


Prescott Postgraduate Scholarship
The University of Western Australia.


J.A. Wood Memorial Prize
Faculty of Engineering, Computing and Mathematics Medal
Thales Prize in Computer Science
Hackett Alumni Honours Scholarship

The University of Western Australia.


Second place in South Pacific Regional contest
ACM International Programming Contest.


Fogarty Foundation Excellence Award
The University of Western Australia.


You can see a diagram of my academic genealogy. Arrows point from doctoral supervisors to students.

The diagram is courtesy of the Mathematics Genealogy Project and David Alber's Geneagrapher software.

I have an Erdös number of 3. The chain to Erdös consists of James Hales → Hans van Ditmarsch → Derek Allan Holton → Paul Erdös.

The publications linking me to Erdös are:

  • L. Bozzelli, H. van Ditmarsch, T. French, J. Hales, and S. Pinchinat.
    Refinement modal logic.
    Information and Computation (2014).
  • M.H. Albert, R.E.L. Aldred, M.D. Atkinson, H.P. van Ditmarsch, C.C. Handley, and D.A. Holton.
    Restricted permutations and queue jumping.
    Discrete Mathematics 287 (2004).
  • P. Erdös, R.L. Hemminger, D.A. Holton, and B.D. McKay
    On the Chessmaster Problem.
    Proceedings of the Silver Jubilee Conference, University of Waterloo, New York (1982).

The photos in the header of this web site are of me with a pair of lorikeets in 2013 at the Aquarium of the Pacific and of me in 2014 on the Pont de l'Archevêché, facing Notre Dame de Paris.

Here's a selfie in front of the difference engine at the Computer History Museum in 2013.

Here's another selfie at the Science Museum in 2014.

Contact Me

I'd like to hear about job offers, research positions, collaboration and questions about my research.

Email Me