Registered user since Tue 24 Nov 2020

Name: Konstantinos Mamouras

Affiliation: Rice University

Personal website: https://mamouras.web.rice.edu/

Research interests: Programming Languages, Formal Methods

Contributions