Hello!

Welcome to my site, and thanks for visiting!

I hope you enjoy poking around. More info about the site layout is in the quick links below.

I'm a Master's student in Computer Science at UC Davis.

I received my Bachelor's of Science from San Diego State University, graduating summa cum laude.

My career interests are mainly in Software Engineering and Teaching.

My research interests are in Programming Languages, Compilers, Verification, and Security.

Here is a short list of languages and tools I'm familiar with:

[Experienced] Java, Python, SQL, Bash, HTML, CSS, JavaScript, Unix/Linux, Git, Github.

[Proficient] C/C++, Haskell, Scheme, Docker, Google Cloud, Azure.

[Novice] Rust, Dafny, Prolog, Erlang, AWS.

I quite enjoy listening and learning to play music. Feel free to add me on Spotify!

I've been playing chess for a few years. Add me and we'll get a game in on Chess.com!

I also like to read quite a bit. Feel free to connect on Goodreads!

For more info, see /about.

To reach out, check out /contact.

A list of projects I've worked on is under /projects.

A look into my music taste is available under /music.

For all things chess, see /chess.

My virtual photobook is under /photos.

Some quotes that I like are under /quotes.

For everything else, see /misc.