Assel Altayeva
PhD Student
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.
Publications
2019
-
: Service Equivalence via Multiparty Session Type Isomorphisms. PLACES 2019 .