Max von Hippel
mxvh.pl · 843 words · saved by 2 readers
Max von Hippel
Hi! My name is Max von Hippel ... and I am a Staff Scientist at Anduril Industries, where I lead formal methods for the company. Previously, I co-founded Benchify (YC S24), an autoformalization startup, and before that, I completed a PhD at Northeastern University Khoury College of Computer Science, advised by Dr. Cristina Nita-Rotaru, as well as a BS in pure mathematics from the University of Arizona, an International IB diploma from UWCCR, and most importantly, a Blue Belt from 10th Planet Jiu Jitsu. During grad school I became one of the last remaining ACL2 enthusiasts. I also…
saved by
related reading
- Nicholas Carlininicholas.carlini.com
- annaabrandenberger.github.io
- Chip Huyenhuyenchip.com
- Vincent Huangvvhuang.com
- Max Bernsteinbernsteinbear.com
- Aboutneekonvafa.com
- About Measkell.io
- Zoe Hitzigzoehitzig.com
- Boaz Barakboazbarak.org
- Welcome!boydkane.com
- andy jonesandyljones.com
- Abe Houabehou.github.io