Sites Inria

English version

Recrutement & métiers

Emilie Balland, chargée de recherche

Emilie Balland

Les petites applications que nous téléchargeons aujourd'hui sur nos téléphones portables sont rarement développées par notre opérateur téléphonique mais en général par des start-ups ou par des particuliers. Comment alors notre opérateur téléphonique peut-il nous assurer que ces applications ne vont pas vider notre compte de SMS ou contacter des numéros payants ?

Comment faire parler le code des programmes ?

Cette information se trouve quelque part dans le code du programme. Comme faire lire le code à des humains est trop fastidieux, une solution alternative consiste à écrire des programmes informatiques qui sont chargés de faire parler automatiquement le code de ces petites applications. Mon travail de recherche consiste à trouver de nouvelles techniques pour faciliter l'écriture de ces programmes «interrogateurs», afin de les rendre plus sûrs et plus efficaces. Par exemple, je conçois des nouveaux langages de programmation dédiés au développement de ce type de programmes.

Haut de page

Suivez Inria