Vanessa's Homepage

Welcome! I am a programmer and erstwhile math major. Here you will find projects I have worked on, notes I have written, and things I have made.

I have a particular interest in language and mathematics. I hope to focus on formal logic and language in my career; I am currently working as a compiler engineer.

Résumé is here