Fatma Jebali (Ing.)

Research Topics

Concurrent Systems, Formal Description Techniques, Model-based Verification

Educational Background

  • 2006: Baccalauréat Mathématiques, Lycée Secondaire de Haouaria, Tunisie

  • 2006-2008: Mathématiques supérieures et spéciales, Institut Préparatoire aux Etudes Scientifiques et Techniques (IPEST), Tunisie

  • 2008-2011: Engineering degree, from Ecole Nationale Supérieure d'Électronique, Informatique et Télécommunications de Bordeaux (ENSEIRB)

  • 2011: Research master's degree in embedded systems, from Université de Bordeaux

  • Current position

    I am preparing a PhD in the CONVECS project-team (Inria and LIG) under the supervision of Frédéric Lang and Radu Mateescu. My thesis proposes a formal framework for modelling and verifying GALS (Globally Asynchronous, Locally Synchronous) systems.

    Publications

    Talks