IMDEA Software

IMDEA initiative

Home > People

Giovanni Bernardi

PhD - Trinity College, Dublin, Ireland

The information in this page may be outdated, as Giovanni Bernardi is no longer a member of the Institute.

Former Post-doctoral Researcher

Giovanni Bernardi
Home Page:

Research Interests

My main research interest is semantics of programming languages. In particular I investigate type theory, unification, static analysis, concurrency theory, weak consistency, and distributed systems.