Participants in ADAPT
| Name | Phone | Tags | |
|---|---|---|---|
Silvia Lizeth Tapia Tarifa
Senior Researcher
|
22840852 | sltarifa@ifi.uio.no | formal methods, concurrency, programming language theory, model-based analysis, microservices, distributed systems, object-orientation, modeling, resourse analysis |
Gianluca Turin
Doctoral Research Fellow
|
gianlutu@ifi.uio.no |