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 geoemtry 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 masters at the univesity of Bonn, and before that I did my bachelors at Shiv Nadar Univeristy.