Career Profile

Recent Mathematics and Computer Science graduate from the University of Queensland, majoring in Statistics and Machine Learning. I’ve studied both mathematical foundations and practical programming skills, particularly in areas relevant to AI development and analysis. I am deeply interested in ensuring the safe development of AI systems, drawing on my background in both pure mathematics and applied machine learning techniques.

Currently transitioning into AI Safety research, where I can apply my mathematical training and programming capabilities to help address the technical challenge of building aligned AI systems.

Education

BSc in Mathematics and Computer Science

2021 - 2024
University of Queensland

Completed a dual degree with majors in Statistics and Machine learning respectively, while maintaining a strong foundation in pure mathematics.

  • Advanced statistical methods including multivariate analysis, mixture models, and Bayesian inference
  • Machine learning fundamentals and applications, covering both theoretical foundations and practical implementations
  • Pure mathematics coursework in analysis, topology, and set theory & logic
  • Core computer science subjects including algorithms, data structures, programming language design, and operating systems architecture

Notable achievements:

  • I obtained the Dean’s Commendation for Academic Excellence almost every semester
  • I was in the top 95% of performers in the Statistical Learning course of Semester 1, 2024
  • I performed well in programming competitions run by the Computing Society, frequently in the top 10%

Experiences

Scholar

Jan 2025 - Mar 2025
MATS

I participated in a mentorship program under Michael Cohen, learning how to do AI safety research. I worked on agent foundations research that aims to provide a step closer to a solution to the problem of composable world models which the Guaranteed Safe AI agenda needs in order to be at all feasible.

Computer Science Tutor

2023 - 2024
University of Queensland

I assisted in teaching a number of different Computer Science courses at the university, including Theory of Computing and Introduction to Computer Systems. I was effective at communicating the course content to students, and at listening to their questions and figuring out how to explain the content in a way that adresses their specific confusions.

Projects

Hexal - A minecraft mod which is an addon for Hex Casting, a magic-themed esolang that you can use to interact with your game world.
Hippocampus - A background server handling storage and scheduling for an OS-level spaced repetition system.
Virtual Disk Driver - A C virtual disk driver for the OpenBSD operating system built as the final project for a uni course. This involved parsing the virtual disk file format to find the data-containing sections and pull out the metadata, and adding functionality to turn OS read/write operations into cached modifications to that file that maintain correctness when multithreaded.

OSS Contributions

Helix - A Kakoune / Neovim inspired editor, written in Rust. I've provided feedback on and contributed to the extension system.
Matugen - A cross-platform material you color generation tool. Provided feedback, bugfixes, and improved Nix integration.
Nixpkgs - The central Nix packages repository. Provided feedback and draft packaging of various software.
Hex Casting - A minecraft mod about casting Hexes, powerful and programmable magical effects, inspired by PSI. Spent some time as a primary developer for it.

Publications

Recommendations

Skills & Proficiency

Rust

Nix & NixOs

Haskell

Python & PyTorch

Dart

Lean