On Earth
Tokyo, Japan
Summary
👤
SeniorManuel Baltieri is a research team lead and chief researcher based in Tokyo with nine years of experience building mathematical foundations for safe AI, combining dynamical systems, control theory and Bayesian inference. At Araya Inc. he leads the Basic Research and Agent Foundations teams and architects ARIA R&D efforts on formal theories of agency for robust, verifiable AI. His background spans academia and industry—PhD-trained in AI with postdoctoral work at RIKEN and a long association with the University of Sussex—where he applied active Bayesian inference and stochastic optimal control to robotics and embodied cognition. He has also explored origins-of-life models using information- and control-theoretic tools, a less obvious thread that informs his work on adaptive, homeostatic agents. Colleagues describe him as a theoretician who bridges deep math with practical agent design, translating probabilistic models into engineering principles for safer autonomous systems.
9 years of coding experience
Github Skills (85)
parallel10
github10
python10
hyperparameter-optimization10
ray10
optimization10
git10
reinforcement-learning10
pytorch10
large-language-models10
llm-inference9
ai9
unity3d9
deep-learning9
rllib9
Programming languages (13)
Github contributions (5)
yosider/gyazo-pdf
Sep 2023 - Dec 2025
Contributions:1 release, 13 pushes, 1 branch in 2 years 4 months
yosider/merlin
Apr 2018 - May 2019
Contributions:20 commits, 14 pushes, 1 branch in 1 year
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.