Created in partnership with Inria, the Computer Sciences and Digital Technologies Annual Chair reflects a shared determination to highlight the importance of this scientific discipline, and the need to give it its rightful place.

Computer security

Martin Abadi's research focuses mainly on computer security, programming languages and formal specification and proof methods. He has been involved, for example, in the development of object-oriented programming language theory and the design and analysis of secure Internet communication protocols.