I'm a master's student in math at the University of Wisconsin-Madison, where I also did my undergraduate in math and computer science. I learned how to program long before LLMs came around if that means anything to you. Last summer, I interned at Stripe as a software engineer. I will graduate in 2027, and I'm looking for full-time roles in the software industry upon graduation. I'm most interested in doing infrastructure or platform work, where I help build systems that other developers rely on.

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