Solange COUPET-GRIMAL

Adresse (Address)

        Centre de Mathématique et d'informatique
         (Université de Provence, Aix-Marseille I)

                39, rue Frédéric Joliot-Curie
                13453 Marseille Cedex 13
                FRANCE
                         

                 solange.coupet[at]lif.univ-mrs.fr


  Recherche (Research)
  Enseignement (Teaching)

Recherche (Research)

Equipes et projets (Groups and research projects)

Thèmes (Interests)
  • Méthodes formelles (Formal methods)
  • Systèmes d'aide à la preuve (Proof-assistants)
  • Vérification de hardware (Hardware verification)
  • Systèmes communicants (Communicating systems)
  • Certification de logiciel embarqué, Javacard. (Certified embedded systems, Javacard)
  • Théorie des types (type theory)
Publications


Enseignement (Teaching)