Graduate Student, Lenguajes y Ciencias de la Computación
researcher
|
Gwen Salaün
Ernesto Pimentel |
About
My research works focus on:
- Formal specification and verification of concurrent systems.
- Compatibility and similarity of service protocols.
- Software composition and adaptation.
- Concurrency theory.
Contact Information
| Homepage: | |
| Address: | Lab 3.3.3 |
| Telephone: |
+34 952 13 28 46 |
