Haldun Balim

Robotics, Systems and Control M.Sc. Candidate


I am currently pursuing a M.Sc. degree in Robotics, Systems, and Control at ETH Zürich where I have the privilege of collaborating with remarkable research groups, such as the AIT Lab, and IDSC. My academic journey began with the completion of a joint Bachelor’s degree in Computer Science and Mechanical Engineering at Koç University in 2021. During the period spanning from September 2022 to February 2023, I had the valuable opportunity to work with Prof. Necmiye Ozay, and Prof. Samet Oymak at University of Michigan, Ann Arbor.

My research interest falls at intersection between control and machine learning. My goal is to design data-driven and provably correct solutions for control of complex dynamical systems. I am particularly interested in verification of learning-based control algorithms.


Aug 1, 2023 I will present my work “Koopman-inspired Implicit Backward Reachable Sets for Unknown Nonlinear Systems” at IEEE CDC 2023
Sep 1, 2021 Started M.Sc. degree in Robotics, Systems and Control in ETH Zürich.
Jun 1, 2021 Graduated from Koç University with a double B.Sc. degree in Computer Science and Mechanical Engineering.