Hosein Hasanbeig

About

I completed my Ph.D. in 2020 in the Computer Science Department of the University of Oxford, under the supervision of Alessandro Abate and Daniel Kroening. Before, I was a research assistant in the Systems Control Lab at the University of Toronto, where I received my M.Sc. in 2016. I obtained my B.Sc. from the University of Tehran.

My research focus is on the design and analysis of safe machine learning algorithms by employing notions from formal methods. Most of my work is at the intersection of reinforcement learning, automatic control, formal methods, and game theory.