Section: Dissemination

Popularization

Internal or external Inria responsibilities

Éric Badouel is the co-director (with Moussa Lo, UGB, Saint-Louis du Sénégal) of LIRIMA, the Inria International Lab for Africa. He is scientific officer for the African and Middle-East region at Inria DPEI (European and International Partnership Department). He is member of the executive board of GIS SARIMA.

Articles and contents

• Ocan Sankur published an article on formal verification for the Turkish Academy of Sciences: “How to verify computer systems on which our lives depend” on Nov. 2018.