IMDEA initiative
The information in this page may be outdated, as Salvador Tamarit is currently not a member of the Institute.
Concurrency, static program analysis, program semantics, program transformation, functional programming, optimization.