Arran Stewart – UWA Home Page

I’m a PhD student in the School of Computer Science and Software Engineering at the University of Western Australia, working on static analyses that identify forms of method purity.


Computer security vulnerabilities are a problem that affects everyone – many people now carry multiple mobile devices, expect them to be secure, and rely on healthcare, government and commercial organisations to keep their information secure. I am investigating the ways in which method purity can be incorporated into modern statically typed, object-oriented languages (using Java as an example), and what benefits this might have for software security.

Statically checked purity provides strong guarantees on what a method can do: a pure method can’t write or erase data from disk, or make surreptitious network connections; it can only perform side-effect-free computations, or throw an error if resources are exhausted. I aim to compare the security costs and benefits of Java dialects which allow purity to be enforced, when compared with the normal form of the language.

A list of my publications can be found here, and presentations here.


Current and previous units at UWA I’ve lectured and tutored in:

Semester 1, 2017
  • CITS1001, “Object Oriented Programming and Software Engineering”

contact details

  • Lab G.11
    School of Computer Science & Software Engineering
    University of Western Australia
  • firstname dot lastname