Biography

I'm a software engineer with Analytics and Information, the big data analytics and information platform for the Commonwealth Bank of Australia. I lead the design and development of the Conveyor, a lambda architecture data delivery pipeline enabling expert systems to make decisions at scale, based on an integrated feed of batch and streaming analytics and information. We write in Scala, using Hadoop MapReduce, Scalding, Spark, Cassandra, Kafka, and a variety of open source libraries developed in-house.

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

2015–

The Commonwealth Bank of Australia
Software engineer. Designed and developed a lambda architecture data delivery pipeline enabling expert systems to make decisions at scale based on an integrated feed of batch 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.

2013–2014

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

2009–2012

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

Visiting Scholar Positions

2014

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.

Education

2012–2016

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

2011

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

2008–2010

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

Short Courses

2012

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

2011

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

2010

Logic Summer School
Australian National University, Canberra, Australia.

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

Scholarships and Prizes

2014

Convocation Postgraduate Research Travel Award
The University of Western Australia.

2012

Prescott Postgraduate Scholarship
The University of Western Australia.

2011

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.

2010

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

2008

Fogarty Foundation Excellence Award
The University of Western Australia.

Trivia

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