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 their categorical semantics.
email: phanukaev(at)augusta(dot)edu
github: phanukaev
Hanukaev, P. and Eades III, H. 2023. Combining Dependency,
Grades, and Adjoint Logic. Proceedings of the 8th ACM SIGPLAN
International Workshop on Type-Driven Development. ACM.
[DOI] [arXiv]
Hanukaev, P. and Eades III, H. 2026. A unification of graded
and substructural logics. Proceedings of the 42nd Conference on the
Mathematical Foundations of Programming Semantics.
[Preproceedings]
[arXiv]