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
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.