Skip to ContentSkip to Navigation
About usHow to find usM.A. (Mauricio Alejandro) Cano Grijalba

M.A. (Mauricio Alejandro) Cano Grijalba

PhD. Student

Expertise

Formal Methods, Type Theory, Concurrency Theory, Session Types, Constraint Programming
Last modified:27 July 2019 03.06 a.m.

Contact information