Dennis Chen’s Website

Hey there! I’m Dennis, and I’m studying computer science and mathematics at Carnegie Mellon University. Here’s what I’m up to now.

My interests change pretty frequently, but some things I like to do as of now:

• Math
  • Abstract algebra/commutative algebra/algebraic geometry
  • Set theory/formal logic/model theory
• Logic puzzles (mostly sudoku)
  • Puzzle construction
  • Sudoku competitions
  • My Logic Masters Germany account
• Teaching
  • I was a TA for CS251 throughout my sophomore year of college
  • I taught contest math through my first three years of high school and the fall semester of my freshman year at college
• Computers
  • Rust
  • Functional programming
  • Linux
  • Typesetting (LaTeX/Typst)
  • System administration
  • Networking protocols (e.g. HTTP)
  • HTML/CSS and web design
• Writing

I also did design work before. The first draft of the MAT logo was by me. William changed it to a purple color scheme, which is currently on the final logo. I also have amateurish book, handout, and CV designs, the last two of which have been used semi-often by other people.

Hobbies

• Singing. My personal preference is singing pop songs/musicals, but I currently spend most of my time singing for the university choir (D Sharp Singers).

• Variant Sudoku puzzles follow typical sudoku rules, but typically with a twist. Sometimes you may have to “color” cells that you know are the same but don’t know the value of yet, and sometimes you will even have to construct the regions of the puzzle yourself. I have some beginner recommendations.

• Hanabi is a cooperative card game where you see everyone’s cards except your own. You give clues (color, number) to your teammates so they learn the identity of their cards, and they give you clues so you learn your cards. The goal is to play stacks of cards like in solitaire — the default is 5 stacks of 5 different colors, but this can change.

• K-Pop: I mostly listen to boy groups. I’ve casually listened to a lot of groups (most of the popular ones), but my favorite is ATEEZ. I also really like Stray Kids, Xikers, PSYCHIC FEVER, and BabyMonster.

  I got into ATEEZ because of ROCKY. Somehow or another, I found this song during one of my gym sessions, and it helped motivate me to hit several PRs for the bench press. Ever since then, I have been a huge ATEEZ fan.

• Rock climbing (I am not good)

• Poker (I am not that much of a degenerate, I mostly freeroll)