Ph.D. in Computer Science under Rohit Parikh in 2012, The Graduate Center, The City University of New York. Dissertation Title “Some Non-Classical Methods in Epistemic Logic and Games.” Currently a Post-Doctoral Researcher, Department of Computer Science, University of Bath, England, a Research associate at a project on game theory and logic.