Ari Hernawan

Themes:
Biography
Ari Hernawan is a DPhil student in the Computer Science department. His research focuses on multiparty session types. I am interested in the theory and practical implementation of typed programming for distributed processes.