Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Mauricio Cano

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

Contributions

REBLS 2016Author of A Reactive Interpretation of Session-Based Concurrency (In Progress Paper) within the REBLS-track
Show activities from other conferences

SPLASH 2016-profile
View general profile