Hi, I'm Abhijit A J!

Welcome to my webpage. I am currently pursuing a PhD in mathematics at the university of Paderborn, in the "Algebra and Number theory" group led by Prof. Dr. Fabian Januszewski. My interests are mainly in the area of arithmetic geometry and algebraic number theory. I also have a growing interest in the formalisation of mathematics, and the use of Lean in formalisation. I completed my master's at the university of Bonn, and before that I did my bachelor's at Shiv Nadar University.