Hosein Hasanbeig

Hosein Hasanbeig

Doctoral Student

College Lecturer, St Catherine's College

Student, Oriel College

E: hosein.hasanbeig@cs.ox.ac.uk

T: +44 (0) 1865610743

Wolfson Building, Parks Road, Oxford OX1 3QD

Themes:

• Artificial Intelligence and Machine Learning
• Automated Verification

See Also:

• Personal Webpage
• Group Webpage

Interests

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.

Biography

I am currently a Ph.D. Candidate in the Department of Computer Science at University of Oxford under the supervision of Daniel Kroening and Alessandro Abate. 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.

Supervisor