IMDEA Software

IMDEA initiative

Home > Research > Research Topics

Research Topics and People

The following is a table of keywords / research topics and its association with the current researchers at the Institute. The list is not intended to be exhaustive. See also the research lines and the entries for each researcher.

Security

Languages and Compilers

Program Analysis and Verification