Boris Benedikter, Ph.D.

Developing safe, reliable, and verifiable autonomous systems at the intersection of control theory, optimization, and machine learning.

I am a Postdoctoral Research Associate at the University of Arizona, where my work focuses on creating next-generation trustworthy autonomous systems. My research combines the mathematical rigor of formal methods with the adaptability of data-driven techniques to enable intelligent systems to operate safely and effectively in the real world.