Hi, I'm Brandon Tang.

4th year MCompSci Computer Science student at the University of Oxford. Interested in systems programming, formal verification, and competitive programming. Passionate about building performant software in C++ and Rust.

GitHub LinkedIn Resume

Skills & Technologies

Languages

C++ Python Rust Scala

Domains

Systems Programming Formal Verification Computer Security Algorithms

Tools

Git Jujutsu Nix Helix VS Code

Competitive Programming

Codeforces 2100+ Kattis Top 55 UKIEPC 8th

Interests

Competitive Programming

I enjoy algorithmic challenges. Previously active on Kattis, now focused on Codeforces.

Codeforces Kattis

Software Engineering

I enjoy writing performant software in C++ and Rust. One project I'm proud of is a BDD engine for propositional logic.

BDD Engine

Adventure Sports

I enjoy climbing, caving, and skiing; all various forms of getting outdoors and having fun.