Murat Cubuktepe

alt text 

Senior AI Scientist



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


Google Scholar Page


UT Group Page