I am a research student in foundation of mathematics and theoretical computer science. My main research interests include categorical logic, type theory, topos theory, and more recently higher category theory. Some of these subjects have close connections to fundamental concepts of computer science by either direct applications in computer science, providing proper foundation of discourse or sometimes being inspired by ideas from computer science such as computability.
My advisor is Prof. Steve Vickers a member of Theory of Computation group at University of Birmingham. We are currently investigating some 2-categorical aspects of toposes from logical point of view. To know more I invite you to look at my research profile.
Prior to joining Birmingham I was in Western University in London Ontario where I did my masters in pure mathematics. My advisor was Prof. Martin Pinsonnault. I was born in Iran and I have lived in Canada and UK.