LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News » PhD students

KHEIREDDINE Anissa

PhD student
Team : MoVe
Arrival date : 10/07/2019
Localisation : Campus Pierre et Marie Curie
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 25-26, Étage 2, Bureau 231
    4 place Jussieu
    75252 PARIS CEDEX 05
    FRANCE
Tel: +33 1 44 27 51 28, Anissa.Kheireddine (at) nulllip6.fr
Supervision : Souheib BAARIR
Co-supervision : RENAULT Etienne (EPITA)

Parallélisation et optimisation du Bounded model-checking

 Mentions légales
Site map |