La información de esta página podría estar desactualizada debido a que Giovanni Bernardi no es actualmente miembro del Instituto.
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.
