Murat Cubuktepe

alt text 

Ph.D. candidate,

Aerospace Engineering and Engineering Mechanics
University of Texas at Austin
Advisor: Ufuk Topcu


Murat Cubuktepe is a Ph.D. candidate 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.

His research is on the theoretical and algorithmic aspects of the design and verification of autonomous systems. In particular, he focuses on 1) robust synthesis 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 from humans risk perception of autonomous systems.

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