Iniciativa IMDEA
La información de esta página podría estar desactualizada debido a que Salvador Tamarit no es actualmente miembro del Instituto.
Concurrency, static program analysis, program semantics, program transformation, functional programming, optimization.