---

I’m a 3rd-year Ph.D. student in control system engineering at the Laboratory of Signals and Systems (L2S), CentraleSupélec, University of Paris-Saclay in France, where I’m fortunate to be advised by Profs. Alessio Iovine and Adnane Saoud and funded by the French National Research Agency (ANR).

I completed my master’s degree at the Graduate School of Informatics, Kyoto University, where I was fortunate to be advised by Prof. Toshiyuki Ohtsuka, and my bachelor’s degree at the School of Informatics and Mathematical Science, Faculty of Engineering, also at Kyoto University.

---

I’m passionate about developing safe and reliable AI for real-world systems, with a focus on bridging machine learning and formal methods for cyber-physical systems. My current interests include:

• Optimization Algorithms: Designing efficient optimization techniques for decision-making under uncertainty.
• Cyber-Physical Systems: Applying formal verification and control theory to guarantee safety and performance in complex systems.
• Safe Learning and Control: Enhancing reinforcement learning (RL) and model predictive control (MPC) with formal safety guarantees.
• Applications to Power Systems: Modeling and controlling power networks with robustness against disturbances and uncertainties.

Recently, I’ve started exploring the theoretical foundations of fine-tuning RL algorithms for foundational models, aiming to improve their adaptability and generalization capabilities.