Since September 2015, I am an Associate Professor at IMT Atlantique (ex Telecom Bretagne) in the Computer Science department. I am a member of the PASS research group (IRISA), led by Antoine Beugnard.
From September 2014 to August 2015, I was a teaching assistant (ATER) at the FIL, the Computer Science department of IEEA, a part of the University of Lille 1. I was a member of the RMoD research group (Inria, CRIStAL -ex LIFL-), led by Stéphane Ducasse.
I defended my PhD on Friday, September 12th 2014. I started it in November 2010 at Inria / LORIA working on model transformations under the supervision of Pierre-Étienne Moreau and Marc Pantel in the Pareo research group. In the context of my PhD, I was involved in the Quarteft project, funded by FNRAE (Fondation de Recherche pour l'Aéronautique et l'Espace / Research Foundation for Aeronautics and Space) From November 2010 to October 2013, I was funded by Inria. From November 2013 to August 2014, I had an ATER contract at Computer Science department of the FST of Université de Lorraine.
Previously, I graduated from an « engineering school » (software engineering specialization), then I have worked as a security engineer at Advens, an IT security services company.
I also have worked on the Tom compiler as development engineer in the Pareo team.
I am interesting in improving trust in software systems. I am interesting in the product (software) and in the production process (all elements allowing to build the product, from the beginning) in order to improve software security. Therefore I am working on software security by advocating what I call « security by design » to avoid the traditional « vulnerability-patch » way.
Toward this goal, my main research interests are the following:
- Software engineering
- Software quality (for safety and security)
- Transformations, qualifiable transformations (languages, models, programs, etc.)
- Transformation traceability
- Formal Methods
- Help to software verification
- Model federation
- Software evolution
- Software applications migration
There are a lot of application fields, however I mainly focus on cybersecurity and industry 4.0.
Object oriented design & programming ; languages engineering ; lambda-calculus ; rewriting ; logic ; concurrency & concurrent system modeling ; C ; Java ; Scala ; functional programming (Ocaml) ; modeling ; practical courses (GNU/Linux environment, network, security).
Tutor of several student projects related to: Openflexo environment, computer science popularization, game development, improvment of IPv6 support for Tor, modularization of a python learning environment, ROP attacks/chains, etc.
Courses codes for students: INF301, INF447, INF424, TC131D, ELU512, ELU610, F2B304, F2B205, F2B002B, SIT151, ATE208 + S2, S2R, S5, DD-RSO
TAF Software Development (DLR), work in progress.
Past experiences: (TODO)
Apart research and teaching, I am also interesting in the following topics (non-exhaustive list) :
- Free/Libre Open Sources Software (FLOSS)
- Scientific mediation / popularization
- Computer Science for kids, programming for kids
- Net Neutrality
- Associative (DIY) ISP: technical, political and social aspects
- DIY philosophy
- Ethics and responsibilities of scientists
If you want to talk about them, or to work one one of them, do not hesitate to contact me.
|Address (mail)||IMT Atlantique, Département informatique
29238 Brest Cedex 03
|Phone||(+33) (0)2 29 00 15 73|
firstname.lastname@example.org 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|