Component Equivalence through Isomorphisms of Multiparty Session Types

Assel Altayeva Assel is a PhD student under the supervision of Professor Nobuko Yoshida. Her background is in Applied Logic and Constructive Type Theory. Assel holds a Master degree from Novosibirsk State University where she worked on computability of higher-order type functionals and precomplete arithmetical equivalences. Her current research concerns optimisation and data provenance problems arising in the architecture of complex distributed component based systems through application of session type theory. Email to me→