About
Role & Affiliation: Jean-Christophe BACH is an Associate Professor at IMT Atlantique's Computer Science department since 2015. He leads the PASS research group (IRISA) and focuses on software security, model-driven engineering, and cybersecurity applications. Previously, he held roles as a teaching assistant (ATER) at University of Lille (2014–2015) and completed his PhD on model transformations at Inria/LORIA under Pierre-Étienne Moreau and Marc Pantel (defended 2014).
Research Interests: His work centers on improving software trustworthiness through 'security by design' principles. Key areas include model federation, formal methods for software verification, transformation traceability, and cybersecurity in industrial systems. He actively contributes to frameworks like Openflexo and PAMELA, emphasizing practical tooling for secure systems engineering.
Teaching & Education: Teaches advanced topics such as object-oriented design, functional programming (OCaml), concurrency modeling, and cybersecurity. Supervises student projects on Openflexo, game development, and network security (IPv6/Tor). Courses include INF301, INF447, and others.
Labs & Collaborations: Engaged with IRISA and Lab-STICC research centers. Collaborates on projects like the European Space Agency's SSE4Space framework for secure space missions and the Quarteft project (aerospace software). Active in open-source initiatives and scientific mediation for K-12 programming education.
