Welcome! I’m Sadik Bera Yuksel, a Ph.D. candidate in Computer Engineering at Northeastern University. I am a member of the Dependable Autonomy Lab, advised by Prof. Derya Aksaray. This website is a place to share my academic journey, publications, and projects.

About my research

My research lies at the intersection of formal methods, reinforcement learning, and autonomous systems, with the goal of enabling reliable and trustworthy autonomy in complex and uncertain environments. In particular, I study how temporal logic specifications and probabilistic guarantees can be integrated with learning-based control to provide safety, robustness, and performance assurances for autonomous agents. My work aims to develop frameworks that allow robots to execute complex, structured tasks with formal guarantees while preserving the adaptability and flexibility of learning-based approaches.