Andrew Brown

About Me

I studied Computer Science and Cyber Security at the University of Queensland. I graduated in 2025 with a Bachelor of Computer Science (Cyber Security) and a Master of Cyber Security (Cyber Defence).

I enjoy systems programming, formal methods, and cyber security. When you do all three at once, you get to say stuff like “I’ve proven this driver never leaks secret information,” which is super neat. My Master’s project was on creating a tool to automatically detect where weak memory models[ 1 ] could break proofs (specifically Rely/Guarantee[ 2 ] proofs) about the concurrent behaviour of a computer program.

Content

Playlist

The original content of this website.