Adrien is a Master’s student in physics currently pursuing a thesis at the chair for the History and Philosophy of Mathematics. He focuses on the histories of type theories and their relations to contemporary logic.