posts

An archive of my writings and updates.

Chancellor's Medal

I graduated in Computer Science with one of Lancaster University’s highest honors, the Chancellor’s Medal.

2 min read · October 25, 2025 · LinkedIn

2025
ALIFE 2025

I presented at ALIFE 2025 in Kyoto, Japan.

3 min read · October 10, 2025 · LinkedIn

2025
EASST award at ETAPS 2025

I have been awarded the EASST award at ETAPS 2025 for my paper on verifiable Horn solving!

2 min read · August 15, 2025 · LinkedIn

2025
Neptune Memorial Reef

Fishwatching off the coast of Key Biscayne, Florida.

1 min read · July 01, 2025

2025 · video · fishwatching
Connect X: MCTS vs. Minimax

Empirical study comparing Monte Carlo Tree Search and Minimax in Connect X.

17 min read · December 20, 2024

2024 · python code · ai