Associate Professor, Department of Computer Science and Engineering
Game Theory, Distributed Systems, Temporal Logics and Verification
Office
CS 206,
Department of Computer Science and Engineering
IIT Kanpur,
Kanpur 208016
Theoretical Computer Science
PhD, Institute of Mathematical Sciences, 2010
MSc, Chennai Mathematical Institute, 2003
K.R. Apt and S. Simon. "Social Network Games", Journal of Logic and Computation, do i:10.1093/logcom/ext012, Oxford University Press, 2013.
E. Pacuit, S. Simon. "Reasoning with protocols under imperfect information",The Review of Symbolic Logic, volume 4, pages 412-444, 2011
K.R. Apt and S. Simon. "A Classication of Weakly Acyclic Games", Proc. International Symposium on Algorithmic Game eory 2012 (SAGT 2012), LNCS 7615, pages 1-12, Springer, 2012.
R. Ramanujam and S. Simon. "A communication based model for games of imperfect information", Proc. 21st International Conference on Concurrency Theory (CONCUR 2010), LNCS 6269, pages 509-523, Springer, 2010.
S. Paul and S. Simon. "Nash equilibrium in generalised Muller games", Proc. 29th Conference on Foundation of SoŸware Technology and eoretical Computer Science (FSTTCS 2009), pages 335-346, 2009.