I recently finished my undergraduate in Math and Computer Science at the University of Wisconsin-Madison, and I'll be starting an MA in Math in the fall. I learned how to program long before LLMs came around if that means anything to you. This summer, I'm interning at Stripe as a software engineer. At the moment, I've been looking into Domain Theory.

You can contact me at wcram 'at' wisc 'dot' edu; I'll try to get back to you within a day or two.

Here's a list of some things I'm interested in:

• Math
  • Model Theory and Universal Algebra
  • Computability Theory
  • Category Theory (cliche, I know)
  • Type Theory
• Computer Science
  • Functional Programming
  • PLT (More specifically, expressing more things with types)
  • Distributed Systems
• Other
  • Quantum Computers
  • Japanese and Russian languages
  • Running, Skiing, Hiking