Hi, I'm Xavier!

I'm currently a student studying computer science at UNSW. I'm also a course administrator and tutor for COMP1521 (if you're a student in my class, you can find tutorial code here).

I have a blog, the latest post is about the Curry-Howard isomorphism in TypeScript.

Here's some links to some things I've made which happen to be online:

A sorting algorithm visualiser
A tool to visualise the formation of chemical equilibria
A tool to combine numbers using mathematical operations to get a certain target
A game I made that fits in less than 13 kilobytes of JavaScript
A tool I made to verify classical logic propositions

You can contact me at my personal email address: <my first name>.<my last name>[email protected], or via my university email address at <my first initial>.<my last name>@unsw.edu.au.

This website is statically rendered using some Haskell code I wrote.