Murat Cubuktepe is a Ph.D. student in the Department of Aerospace Engineering at the University of Texas at Austin since Fall 2015. He received his B.S degree in Mechanical Engineering from Bogazici University in 2015. His main current research interests are verification and synthesis of uncertain, parametric and partially observable probabilistic systems. He also focuses on applications of convex optimization in formal methods and controls.