Jean-Christophe BACH
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 (Inria, CRIStAL -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.
Recherche
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.
Enseignement
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
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.
Contact
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 |
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 |