Hello!
I'm Carlos (aka cαng)
Thanks for visiting, and welcome to my site!
Info about the site layout available in quick links below.
TL;DR About Me
λ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 main career interests are Software Engineering and Teaching.
λMy main research interests are in Programming Languages, Compilers, Verification, and Security.
λI have work experience in Information Security and Information Technology roles, as well as some teaching-adjacent experience.
λ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.
Quick links
δ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.