Benjamin Weinstein-raun
Head Of Research at Palisade Research
Berkeley, California, United States
Summary
👤
Senior🎓
Top SchoolBen Weinstein-raun is a Senior Researcher and software engineer with 11 years of experience applying rigorous engineering to hard problems in AI alignment, biosecurity, and autonomous systems. Based in Berkeley, he has moved between research and product roles—from building DNA synthesis screening at SecureDNA to core planning and prediction algorithms at Cruise and AI alignment work at MIRI and Redwood Research. He combines hands-on systems and automation experience (robotics lab orchestration, SRE tooling) with deep research instincts, often tackling safety-sensitive or adversarial domains. Notably, he has led organizations as Acting Director at AI Impacts while continuing to ship production-grade systems, reflecting a rare blend of operational leadership and technical depth.
11 years of coding experience
11 years of employment as a software developer
Bachelor of Science, Computer Engineering, Bachelor of Science, Computer Engineering at Virginia TechAdvanced Diploma, Advanced Diploma at Blacksburg High School
Stackoverflow
123reputation
14kreached
0answers
2questions
Github Skills (149)
aggregator10
hash10
anki10
commit-message10
forum10
mathjax10
qt9
markdown9
history9
cad9
api9
shell9
bash9
lua9
monoid9
Programming languages (20)
Github contributions (5)
benwr/ankdown
Sep 2017 - Jun 2019
Easily make Anki flash cards in markdown
Contributions:26 commits, 8 PRs, 45 pushes in 1 year 9 months
ankimarkdownapkgspaced-repetitionmathjax
benwr/bromberg_sl2
Nov 2020 - Nov 2021
Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"
Contributions:9 reviews, 50 commits, 3 PRs in 1 year
cayleygraphhomomorphichashinghash
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.