Participants in ADAPT
| Name | Phone | Tags | |
|---|---|---|---|
Silvia Lizeth Tapia Tarifa
Associate Professor
|
sltarifa@ifi.uio.no | formal methods, concurrency, programming language theory, model-based analysis, distributed systems, object-orientation, modeling, resource analysis | |
Gianluca Turin
|