dr. J.A. (Jorge) Perez Parra
Assistant Professor
Expertise
Foundations of programming languages and models.
Formal models of interactive and communication-based software systems.
More details in my personal home page.
Formal models of interactive and communication-based software systems.
More details in my personal home page.
Overige functies
Associated member of the "Formal Methods" group, CWI Amsterdam.
| Laatst gewijzigd: | 18 juli 2018 09:30 |