Sanchit Saraf

Sanchit Saraf is a PhD scholar in Institute of Logic, Language and Computation in University of Amsterdam funded by the European Union through the Erasmus Mundus scholarship.

His Major interests are; applications of formal reasoning to real-life situations. Currently, he is working on the project on Computational models of Narratives.

Prior to this, he had obtained M.Sc.(Integrated) degree in Mathematics and Scientific Computing from IIT Kanpur with his thesis in epistemic logic. He has been an invited researcher at various international institutes like ETH Zurich, Switzerland, NUS, Singapore and University of Hamburg, Germany.

He has produced has two published papers in dynamic logic/game theory. Apart from this, he is interested in algorithms, cryptology, puzzles and game designing.