Murat Cubuktepe

alt text 

Ph.D. candidate,

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

Biography

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 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

Contact

Google Scholar Page

DBLP Page

UT Group Page

e-mail