I'm a first year PhD CS student. I'm interested in automated reasoning, and I'm so excited for the challenge of graduate school! I love computer science because it stretches my understanding every day, and there is nothing more satisfying than stepping back and watching your project work. Outside of CS, my hobbies include skiing, watching musicals, playing board games, and solving crosswords! I am so excited to be a mentor!