Associate Professor, Department of Mathematics & Statistics
My current interests include the study of categorical syntax-semantics dualities in the context of various fragments of first-order logic as well as parallels between additive and non-additive categories in these contexts.
https://sites.google.com/view/exploring-infinity-within/
https://sites.google.com/view/exploring-infinity-within/teaching/mth101a
FB 506
IIT Kanpur
Kanpur 208018
Category theory, Model theory, Categorical logic, Abstract homotopy theory
PhD (2011-14)-University of Manchester, UK
Master of Advanced Studies/Part-III of Mathematical Tripos (2010-11)-University of Cambridge, UK
M.Sc. (2008-10)-University of Pune
B.Sc. (2006-08)-Garware College, Pune
IC courses
MTH111 MTH101 Single variable calculus ETH111 Introduction to practical ethics
Foundations of mathematics
MTH202 Set theory and discrete mathematics MTH302 Set theory and logic MTH642 Model theory MTH666 Category theory MTH661 Introduction to sheaves and topos theory
Algebra and representation theory
MTH613 Rings and modules MTH619 Representation theory of quivers MTH724 Introduction to algebraic K theory
Combinatorics
MTH678 Techniques in Combinatorics
MOOC
Set Theory and Mathematical LogicCategory Theory
MTH619 Representation theory of quivers
Definable categories (with Jiři Rosický), J. Pure Appl. Algebra, 222(5)(2017), 1006-1025.
Grothendieck rings of theories of modules, Annals of Pure and Applied Logic, 166(2015), 369-407.
On the Grothendieck ring of varieties, Math. Proc. Camb. Phil. Soc., 158(3)(2015), 477-486.
Definable combinatorics with dense linear orders (with H. Shukla and A. Jain), Arch. Math. Logic., 59(2020), 679–701.
Euclidean algorithm for a class of linear orders (with Shashwat Agrawal and Esha Gupta), Discrete Mathematics, 346(12) (2023), paper 113639.
Eduard Cech Institute (Czech Republic) postdoc fellowship (2016)
School of Mathematics, University of Manchester (UK) overseas students scholarship (2011-14)
Cambridge Commonwealth Trust scholarship (2010-11)
NBHM M.Sc. scholarship (2008-10)
Lt. Padmabhushan A. Garware Memorial award and Lt. R.G. Kunte Memorial award for first rank in B.Sc. (Maths) in Pune University
Linear orders, automata, word problems, and stable ranks for string algebras, ARTA X, Universität zu Köln, Germany, 1 Sept 2025
Euclidean algorithm and completeness theorem for the isomorphism problem for a class of linear orders, (Video) Calcutta Logic Circle Annual Meet, Kolkata, 9 November 2024
Hammocks for non-domestic string algebras, ARTA IX, Queen's university, Kingston, Canada, 15 June 2023
Lower algebraic K-theory, as part of K-theory in totality series organised by Grothendieck School of Thoughts, March 2023
Combinatorics of the bridge quiver and the stable rank of a string algebra, 8th virtual meeting on 'new directions in group theory and triangulated categories', 12 Jan. 2021
Categorical syntax-semantics dualities, Calcutta Logic Circle Annual Meet, Kolkata, 14 Oct. 2017
Euclidean algorithm and completeness theorem for the isomorphism problem for a class of linear orders, (Video) Calcutta Logic Circle Annual Meet, Kolkata, 9 November 2024
Hammocks for non-domestic string algebras, ARTA IX, Queen's university, Kingston, Canada, 15 June 2023
Lower algebraic K-theory, as part of K-theory in totality series organised by Grothendieck School of Thoughts, March 2023
Combinatorics of the bridge quiver and the stable rank of a string algebra, 8th virtual meeting on 'new directions in group theory and triangulated categories', 12 Jan. 2021
Indian classical and light music: vocal, harmonium and tabla; poem writing
Logic, Algebra
Maths in melody, Stamatics, IITK, 5 March 2024
Definable combinatorics and Grothendieck rings, Logic Webinar@IITK, 2 Oct. 2020
Lead organiser, BIRS workshop "Quivers in Representation Theory", Chennai Mathematical Institute, December 2025
Co-organisers: Thomas Brüstle (Sherbrooke), Apoorva Khare (IISc), Shraddha Srivastava (IIT Dharwad).
Scientific Committee member, AESIM school "Flavours in Representation Theory" (FoRT), NEHU, July 2025
Facilitator, Maths Circle India Module 20 (Session 1, 2, 3, 4), March-April 2025
Other facilitators: Garima Chauhan, Rohun Easwer, Mihir Mittal, Sam K Mathew
Co-organiser, NCM-funded Advanced Instructional School (AIS) "Representation Theory of Quivers and BGG Category O for semi simple Lie Algebras" (Virtual mode), December 2024
Co-organiser: Sachin Sharma
Program Committee and Organising Committee member, "Indian School on Logic and Applications (ISLA) Part-I" (Hybrid mode), IIT Kanpur, May 2022
Co-organiser: Purbita Jana
Program Committee member, Indian Conference on Logic and Applications (ICLA) (Virtual mode), 2021
Program Committee Chair, Indian School on Logic and Applications (ISLA) 2020 (Virtual mode), Dec. 2020
Program Committee member, Indian Conference on Logic and Applications (ICLA), IIT Delhi, 2019
Thesis: Combinatorial explorations in the category of modules over zero-relation algebras
Thesis: On the combinatorics of the bridge quiver for string algebras Defense: 6 May 2022
Vox Populi IITK interviewed me (special thanks to Sruthi Subramaniam)! Links to Instagram, WordPress!
A hilarious video clip from my class became viral with lots of media coverage!