Iniciativa IMDEA

Inicio > Personal

Giovanni Bernardi

PhD - Trinity College, Dublin, Ireland

La información de esta página podría estar desactualizada debido a que Giovanni Bernardi no es ya miembro del Instituto.

Antiguo Post-doctoral Researcher

Giovanni Bernardi
Página web: https://www.irif.fr/~gio/index.xhtml

Intereses de Investigación

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.