Murat Cubuktepe
 |
Senior AI Scientist |
Biography
Murat Cubuktepe received his Ph.D degree in Aerospace Engineering at the University of Texas at Austin under the supervision of Prof. Ufuk Topcu. He received his M.Sc degree in Aerospace Engineering from the University of Texas at Austin and B.Sc. degree in Mechanical Engineering from Bogazici University.
He now works at Dematic to develop and deploy reinforcement-learning-based-algorithms for supply chain optimization. His research objective is to develop theory and algorithms for verified learning and control for autonomous systems. In particular, he focuses on 1) verified learning and control in uncertain, dynamic environments under partial information, 2) coordinating large-scale multi-agent systems to implement spatial-temporal tasks, and 3) verifiable human-robot interaction accounting for the potential biases of humans risk perception.
Research Interests
Verification and synthesis of uncertain and parametric probabilistic systems
Distributed synthesis of heterogeneous multi-agent systems
Verifiable human-robot interaction
Formal methods and control theory for robotics applications
Autonomy and cyber-physical systems