Jean-Christophe BACH

Poste

ENSEIGNANT CHERCHEUR

Localisation

Brest

Coordonnées :

Tél.

+33 2 29 00 15 73
Biographie

Biographie

Depuis septembre 2015, je suis Maître de conférences à IMT Atlantique (ex Telecom Bretagne) au sein du département informatique. Je fais partie de l'équipe PASS (IRISA), animée par Antoine Beugnard

Expériences passées :
De septembre 2014 à août 2015, j'étais ATER au FIL, le département informatique de l'UFR IEEA de l'Université de Lille 1. Je faisais partie de l'équipe RMoD (InriaCRIStAL -ex LIFL-), dirigée par Stéphane Ducasse
Le 12 septembre 2014, j'ai soutenu ma thèse commencée en novembre 2010. J'étais doctorant à l' Inria / LORIA travaillant sur la transformation de modèles sous la supervision de Pierre-Étienne Moreau et Marc Pantel, dans l'équipe Pareo. Dans le cadre de ma thèse, j'étais impliqué dans le projet Quarteft, financé par la FNRAE(Fondation de Recherche pour l'Aéronautique et l'Espace). De novembre 2010 à octobre 2013, j'étais financé par l'Inria. De novembre 2013 à août 2014, j'étais ATER dans le département informatique de la FST de l'Université de Lorraine

Diplômé d'une école d'ingénieur (spécialisation ingénierie du logiciel), j'ai travaillé en tant qu'ingénieur sécurité chez Advens, une société de service et conseil en sécurité des systèmes d'information. 
J'ai ensuite travaillé sur le compilateur Tom en tant qu'ingénieur dans l'équipe Pareo.

Activités de recherche

De manière générale, je m'intéresse à améliorer la confiance que l'on peut avoir dans les systèmes logiciels. Je m'intéresse autant au produit (logiciel) qu'au processus de production (tout ce qui permet d'arriver au produit, dès la phase de conception) afin d'améliorer la sécurité des systèmes logiciels. Je travaille donc à la sécurité logicielle bien en amont, que je nomme généralement cela « security by design » (sécurité dès la conception, sécurité par construction), afin d'éviter le fonctionnement classique « vulnérabilité-patchs ».

Au service de cet objectif, mes thématiques de recherche principales sont les suivantes :

  • Ingénierie du logiciel
  • Sécurité
  • Qualité logicielle (à des fin de sûreté et de sécurité)
  • Langages
  • Transformations (de langages, qualifiables, de modèles, de programmes, etc.)
  • Traçabilité des transformations
  • Méthodes formelles
  • Aide à la vérification
  • Fédération de modèles
  • Évolution logicielle
  • Migration d'applications

Les domaines d´applications sont divers (partout où le logiciel intervient), cependant je me concentre un peu plus particulièrement sur le sdomaines de la sécurité informatique (« cybersécurité ») et l'industrie du futur.

Dans le cadre de la chaire cyber navale, je co-encadre Étienne Louboutin avec Fabien Dagnat (directeur) sur une thèse initialement intitulée « Analyse sémantique pour la protection de composants matériels de sécurité ». Cette thèse s'oriente aujourd'hui sur l'établissement d'une métrique concernant les chaînes ROP au sein de binaires. L'objectif est de trouver les leviers influençant les chaînes ROP (existence et nature des gadgets) afin de pouvoir donner des pratiques de développement limitant les risques.

Activités d'enseignement

Conception & programmation orientées objet : ingénierie des langages ; lambda-calcul ; réécriture ; logique ; concurrence & modélisation des systèmes concurrents ; C ; Java ; Scala ; programmation fonctionnelle (Ocaml) ; modélisation ; TP/ateliers (environnement GNU/Linux, réseau, sécurité).

Tuteurs de plusieurs projets étudiants autour de : environnement Openflexo, médiation/vulgarisation de l'informatique, développement de jeux vidéos, amélioration du support IPv6 pour Tor, modularisation d'un environnement d'apprentissage python, attaques/chaînes ROP, etc.

Codes des cours pour les étudiants : INF301, INF447, INF424, TC131D, ELU512, ELU610, F2B304, F2B205, F2B002B, SIT151, ATE208 + S2, S2R, S5, DD-RSO

TAF Développement Logiciel en Réseau (DLR),  en cours de construction (prochaine offre de formation).

Expériences d'enseignement précédentes : (TODO)

Divers

À titre personnel, je m'intéresse aussi aux sujets suivants (liste non-exhaustive) :

  • Logiciels libres
  • Sécurité
  • Médiation scientifique / vulgarisation
  • Informatique pour les enfants, la programmation pour les enfants
  • Neutralité d'Internet
  • Vie privée, données privées
  • FAI associatifs : aspects techniques, politiques et sociétaux
  • Philosophie DIY (Do It Yourself = Faire soi-même)
  • Éthique et responsabilités des scientifiques

Si vous souhaitez discuter ou travailler sur ces sujets, n'hésitez pas à me contacter.

Address    (mail)     IMT Atlantique, Département informatique
Technopôle Brest-Iroise
CS 83818
29238 Brest Cedex 03
France
Phone (+33) (0)2 29 00 15 73
Office D03-124
Email

x.y@imt-atlantique.fr with x → jc and y → bach

Public key 0x520E0E85EA19F34E / Fingerprint=A8C3 C208 1C6A 209B DE2A 2D6C 520E 0E85 EA19 F34E
(former one) 0x838FE3735F96B01C / Fingerprint=6B01 787A A62D D8FF 7CAA 8601 838F E373 5F96 B01C
Jabber (IM) x.y@@im.apinc.org with x → jc and y → bach
Tox ID BCD619585BDFB2426EFEB9622E7C4C7FF2D78459AF4CE2D18864B8B392F07C6A82117456EA95
Publications HAL