Manuel Baltieri
Research Team Lead at Araya Inc.
Tokyo, Japan
Summary
👤
Senior🎓
Top SchoolManuel 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
7 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Artificial Intelligence, Doctor of Philosophy (Ph.D.), Artificial Intelligence at University of SussexBachelor's Degree, Information and Business Organisation Engineering, 104/110, Bachelor's Degree, Information and Business Organisation Engineering, 104/110 at Università degli Studi di TrentoHigh School, Economics, IT, law, maths, 100/100, High School, Economics, IT, law, maths, 100/100 at ITC Aldo Pasoli
Japanese, English, French, Spanish, Italian
Github Skills (88)
parallel10
github10
python10
hyperparameter-optimization10
deep-learning10
ray10
optimization10
git10
data-science10
reinforcement-learning10
java10
nvidia10
pytorch10
machine-learning10
large-language-models10
Programming languages (12)
Github contributions (5)
yosider/merlin
Apr 2018 - May 2019
Contributions:20 commits, 14 pushes, 1 branch in 1 year
yosider/scrapbox-url-customizer
Aug 2023 - Jun 2024
URLを加工するScrapbox向けUserScript. URLの外部リンク記法への変換をはじめとした、各種URL加工に使える
Contributions:2 releases, 6 PRs, 7 pushes in 9 months
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.