Portfolio
Project 1
Centre(center) of graded monads, this project talks about commutativity of graded monads and their centre (center). It was done under the supervision of Flavien Breuvart and Vladimir Zamdzhiev.
Project 2
Comparing Current (functional) Automatic Differentiation Approaches. It was done under the supervision of Damiano Mazza.