About

Since 2024, I have been a PhD candidate at the Centre for Complex Systems, University of Sydney. The goal of my project is to investigate broader foundations of incomputability than is typical in logic and computer science in order to relate computability theory to complex systems theory. This includes the study of more generalised notions of encoding, consistency, self-reference, diagonalisation and fixed-point arguments, tangled hierarchies and self-modelling. The project is supervised by Prof. Mikhail Prokopenko and Dr. Sasha Rubin.

Source: openclipart.org/detail/209545 Incomputability Incompleteness ​ (True but unprovable ​ statements) Undecidability ​ (Problems no algorithm ​ can solve for all inputs) Contradiction ​ (Properties that ​ canntot be determined)
Figure 1: Types of Incomputability

Additionally, since 2021, I have been the lead software engineer at the Cancer Proteomics lab ProCan. There, I specialise in building big data exploration and visualisation platforms, distributed databasing solutions, data engineering workflows, automation and programming environments for proteomicists and data scientists.

As of May 2025, I am also an “Associate Lecturer PhD Teaching Fellow” in the School of Computer Science, University of Sydney.

Prior to these roles, I held various other roles in software engineering, data science and app development, comprising over 8 years of industry experience. I have also completed a Masters of Research in Applied Category Theory at Macquarie University and a Bachelor of Science in Mathematics and Computer Science at the University of Sydney.

This website was generated from Haskell project I developed, and statically hosted via AWS. I plan to write a number of related posts about web development (see the upcoming page), but as is, the website is publicly available on GitHub.