May 2013 – Aug 2014 · 1 yr 3 mos · New Delhi Area, India

• I worked with Prof. Arunava Sen, Economics & Planning Unit, ISI Delhi. My work involved work on interpreting global topological characterizations of path integrability - the basic condition in various mechanism design problems. To that effect, a working paper is in progress. Also, I collaborated with Arunava in implementing a Prolog based system that identifies social choice rules under various combinations of desirable axioms. This system was used to study and comment on a current theme in the literature that focusses on themes at the interface of computer science and game theory relying on automated (assisted) reasoning. The following survey article is published :
• Chatterjee, and Sen, ''Automated Reasoning in Social Choice - Some Remarks'' : Mathematics in Computer Science, March 2014, Volume 8, Issue 1, pp 5-10.