In reverse chronological order.
Research Papers and Preprints
- On Definable Functions of Atomless Boolean Algebras (joint work with A. S. Kuber) (16 pages) (in preparation).
- Definable Combinatorics with Dense Linear Orders (joint work with A. Jain and A. S. Kuber),
(21 pages) Archive for Mathematical Logic (accepted).
[PDF]
- On Resource-Bounded van Lambalgen's Theorems (joint work with
Diptarka Chakraborty and Himanshu Shukla), 14th
Annual Conference on Theory and Applications of Models of
Computation (14 pages), Bern
2017. [PDF]
Projects
- Cantor-Zassenhaus type algorithm for polynomial factoring over finite fields. Mentors: Dr. Rajat Mittal and Dr. Nitin Saxena, IIT Kanpur.[PDF]
- Generalised form of Burgess' Lemma 2 and easier proof of deterministic bound on polynomial factoring over finite fields. Mentors: Dr. Rajat Mittal and Dr. Nitin Saxena, IIT Kanpur.[PDF]
- Analogues of Miller-Yu theorem in resource bounded measures. Mentor: Dr. Satyadev Nandakumar, IIT Kanpur (funded by Summer Undergraduate Research Grant for Excellence (SURGE)). [PDF]
- Relation Extraction for Matrix(type) entities in Introductory Programing Problems
(Course project in Artificial Intelligence (CS365A)). Mentor: Prof. Amitabha Mukerjee, IIT Kanpur.[PDF]
- Geometric Data Structures (Advanced track project for Data Structures and Algorithms
course (CS210)). Mentor: Prof. Surender Baswana, IIT Kanpur.[PDF]
- Autonomous Underwater vehicle, Robotics Club, IIT Kanpur.
Workshops Attended
- Workshop on
Theoretical and Computational aspects of Birch and Swinnerton Dyer Conjecture
held at ICTS Banglore, India.
- Workshop on
Perspectives in Complexity and Cryptography
held at IISc Banglore, India.
Talks
- Model theoretic Grothendieck rings of some structures with quantifier elimination at
Math-Stat Seminar, Department of Mathematics and Statistics, IIT Kanpur, 2018.
- On Resource-Bounded versions of the van Lambalgen's theorem,
14th
Annual Conference on Theory and Applications of Models of
Computation, Bern
2017.
- Ramanujan Tau Function and Modular Forms, VSRP final presentation, TIFR, Mumbai, 2017
- Combinatorial Nullstellensatz, STAMATICS Talk, IIT Kanpur, 2017.
Other reports
- Grothendieck Ring of Dense Linear Orders without end points (UGP Report joint work with Arihant Jain). [PDF]
- Combinatorial Nullstellensatz. [PDF]
- My hand written notes on Modular forms of level N and Elliptic Curves.[PDF]
- Ramanujan Tau Function and Modular forms PDF.
- Lecture scribes for the course of Elliptic Curves and Applications (joint work with the entire class).[PDF]
- Lecture notes for the lecture series on Galois Theory at SIGTACS (by Amrit Singhal and Arihant Jain).[PDF]
Links for homepages to my co-authors and mentors
Diptarka Chakraborty, Arihant Jain, Somnath Jha, Amit Kuber, Rajat Mittal, Satyadev Nandakumar, Nitin Saxena.