I teach Computer-aided Formal Verification at StCatz.
I am currently a Postdoctoral Research Associate 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.