I'm a graduate student in the Master's program at the University of British Columbia. My interests lie in Distributed Systems and Programming Languages.
As a student researcher, I'm contributing to a project that helps Go developers prevent bugs and reduce errors in their code using Multi-party Asynchronous Session Types and Global Escapes [https://github.com/fbanados/sessions]. Session types give us a way to formally specify distributed system behaviour by providing a model of communication. Multi-party Asynchronous Session Types allow us to model more complex communications between multiple parties. Global Escapes represent asynchronous exceptions which can be used to model failures, planned terminations, and state changes.
Details of my research projects and activities as a student can be found [here].
There's always some time left over for [ music making]!