Giovanni Bernardi
The information in this page may be outdated, as Giovanni Bernardi is currently not a member of the Institute.
PhD - Trinity College, Dublin, IrelandFormer Post-doctoral Researcher
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.