dr. J.A. (Jorge) Perez Parra
Assistant Professor
Expertise
Foundations of programming languages and models.
Verification techniques for software systems with concurrency and communication.
More details in my personal home page.
Verification techniques for software systems with concurrency and communication.
More details in my personal home page.
Overige functies
Associated member of CWI Amsterdam (Formal Methods group).
| Laatst gewijzigd: | 21 maart 2019 11:00 |