Skip to main content

Hosein Hasanbeig

Personal photo - Hosein Hasanbeig

Hosein Hasanbeig

Research Associate

College Lecturer, St Catherine's College

Leaving date: 6th May 2021


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, logic, and game theory.


I am currently a Research Associate in the Department of Computer Science at University of Oxford working with Alessandro Abate and Daniel Kroening. Before, I was a research assistant in the Systems Control Lab at University of Toronto where I received my M.Sc. in 2016. I obtained my B.Sc. from University of Tehran.