What We Do!
We are currently working on a few projects that explore static program analysis. A lot of our time is dedicated to reaching above and beyond the bounds of what is currently possible and then exploring new ideas.
Our efforts have also contribute to the academic world as we have several published papers on topics surrounding our research.
We have a strong network of collaborators and academic professionals that assist in our research. A lot of this collaboration is conducted through several Australian Universities.