Nate Soares
Executive Director at Machine Intelligence Research Institute
Berkeley, California, United States
Summary
👤
Senior🎓
Top SchoolNate Soares is an experienced research-led software engineer and executive director with 17 years building systems at the intersection of mathematics, software, and policy to steer artificial general intelligence toward positive outcomes. As head of the Machine Intelligence Research Institute he combines formal expertise in probability, decision theory, and logic with hands-on engineering across languages from Haskell and Lean to Python and embedded C. His background includes product and systems work at Google and Microsoft as well as technical roles at NIST and the Department of Defense, giving him a rare blend of applied research, infrastructure, and standards experience. An active open-source contributor, he has worked on firmware-level LED and key-mapping enhancements for hardware projects like Keyboardio’s Kaleidoscope, showing comfort from low-level device code to high-level formal methods. Based in Berkeley, he brings a track record of translating deep theoretical ideas into practical tools and organizational strategy for high-impact AI safety work.
17 years of coding experience
5 years of employment as a software developer
B.S Computer Science Economics, B.S Computer Science Economics at George Washington University
Stackoverflow
10,056reputation
482kreached
14answers
86questions
Github Skills (15)
firmware10
led-controller10
embedded10
c-language10
cprogramming-language10
sys10
parsec6
variants6
forms6
jquery6
parsing6
python6
post6
django6
haskell6
Programming languages (12)
Github contributions (5)
keyboardio/Kaleidoscope
Jan 2018 - Jan 2018
Firmware for Keyboardio keyboards and other keyboards with AVR or ARM MCUs.
Role in this project:
Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:6 commits, 2 comments, 2 issues in 6 days
Contributions summary:Nate focused on enhancing the LED control functionality within the firmware. Their work involved implementing features such as `prev_mode` and `Key_LEDEffectPrevious`, correcting logic for mode wrapping, and refining the interaction between key presses and LED effects. The commits demonstrate the manipulation of key mappings and the interaction between hardware and software.
rp2040keyboardsnrf52840firmwareavr
Soares/mindingourway.theme
Sep 2014 - Dec 2015
Contributions:11 commits, 2 PRs, 5 pushes in 1 year 3 months
ghostcasperghost-thememodified
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.