Registered user since Thu 22 Sep 2016
Name: Mauricio Cano
Bio: PhD student in the University of Groningen under Prof. Gerard R. de Lavalette and Dr. Jorge A. Pérez. My main research topic is on models for session-based concurrency and I am currently working on Synchronous Reactive Programming and its relation with session types.
Affiliation: University of Groningen, The Netherlands
Personal website: http://www.mcanog.info
Research interests: Formal Methods, Session Types, Concurrency
|BEAT 2019||Author of Two Declarative Approaches for Session-Based Concurrency within the BEAT 2019-track|
|REBLS 2016||Author of A Reactive Interpretation of Session-Based Concurrency (In Progress Paper) within the REBLS-track|