IMDEA initiative
The information in this page may be outdated, as Arbob Ahmad is currently not a member of the Institute.
Type theory, programming languages, security, information flow.
