Projects Undertaken

Projects Undertaken as PI

1. Women Scientist Scheme-A (SR/WOS-A/PM-1010/2014), A study of the interrelation between fuzzy topological systems and logics, Department of Pure Mathematics, University of Calcutta (completed).

2. Women Scientist Scheme-A (SR/WOS-A/PM-52/2018), Categorical accommodation of logic, algebra, topology and topological system, Department of Mathematics and Statistics, Indian Institute of Technology, Kanpur (IITK) (completed).

Projects under Instructors

1. Dynamic Epistemic Logic Project(Winter Project) at University of Amsterdam under Prof. Dr. Johan van Benthem and Dr. Davide Grossi.

2. Philosophical Logic Project on Moore's Paradox and Update Semantics with Peter Fritz at ILLC, University of Amsterdam under Prof. Frank Veltman.

3. Summer project on Models of Set Theory(mainly a reading course) at University of Amsterdam under Prof. Benedikt Loewe and Dr. Yurii Khomskii.

4. Philosophical Logic Final Project Paper- ``A Note on Epistemic Modals and Contradictions" at ILLC, University van Amsterdam under Prof. Frank Veltman.

5. Duality via Logic-using aspects of Category Theory, at ILLC, University van Amsterdam under Dr. Raul Leal Rodingen.

6. Reasoning about authentication protocols in distributed systems using modal logic at TIFR, Mumbai under Prof. N. Raja.