hey, I'm charlie meyer.

---

currently

I'm a fourth year @ UVA studying computer science and entrepreneurship. I'm a 2025 Neo Scholar, Model UN-er, dedicated weightlifter, and (decent) snowboarder. Previously, I've worked at Principal Financial, Scenthound, and Vercel.

I work on inference speedup research (speculative decoding) with Zhepei Wei and independently explore AI for math research. How can we get LLMs to reason in formal math (Lean)?

---

built

• simpletext: stupidly simple sms provider (no longer maintained)
• hufflo: ecommerce marketing on autopilot
• dueflow: making a treasurer's job easier for greek life & organizations
• uvacompute: built GPU timeshare service out of my personal workstation, rent a 5090 in under 30s

in progress

• self driving couch
• ai for math research

todo

• re-implement golden gate claude but for the UVA rotunda
• my own os

---

future

The intersection of what I'm good at, what I care about, and what's important in the world is AGI and AI safety. So I'm working on that, and its subproblems. That currently being inference research, automated theorem proving, and some interpretability work.

I'm also deeply interested in the infrastructure behind AI research. Why is it so hard to run experiments at scale, multi-node, multi-gpu? Training and serving models should be as easy as developing and deploying web apps.

---

talk to me

I'm open to work at somewhere dope. If my interests align with what you're doing or are just someone who's incredibly passionate about something, I'd love to chat.