Welcome! I’m a PhD student in computer science at Augusta University working on the Granule Project. My advisor is Harley Eades. I am interested in category theory and type theory, specifically in linear, graded and dependent type theories as well as categorical semantics.
email: phanukaev(at)augusta(dot)edu
github: phanukaev