Ryohei Oura (Preferred)
Ryohei Oura
Researcher, Applied Mathematics, Toyota Motor Corporation
Joined
January 2025
Names
Emails
****@mail.toyota.co.jp (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Researcher
Applied Mathematics, Toyota Motor Corporation (toyota.co.jp)
2022 – Present
MS student
Systems Science, Science Engineering, Osaka University (osaka-u.ac.jp)
2020 – 2022
Advisors, Relations & Conflicts
Expertise
Formal verification and systhesis
2020 – Present
Agent systems
2020 – Present
Machine learning for control
2020 – Present
Formal method for machine learning
2020 – Present