Page Personnelle de Frédéric Magniette

Bienvenue sur la page personnelle de Frédéric Magniette

COORDONNEES

e-mail professionnel :frederic.magniette@llr.in2p3.fr
telephone professionnel: 01 69 33 56 19
adresse professionnelle : Ecole Polytechnique
91128 Palaiseau Cedex - France
ORCID iD icon

orcid.org/0000-0002-8330-5197

SITUATION ACTUELLE

Depuis le 1er Mai 2012, je suis chef de projet au laboratoire LLR de l'école Polytechnique.

CURSUS

2019	Habilitation à diriger les recherches, Université Sorbonne

1998-2002	Thèse d'informatique au LRI, Université de Paris XI Orsay
	sous la direction de Joffroy Beauquier et Laurent Fribourg
	Sujet : Preuves d'algorithmes auto-stabilisants
	Obtenue le 19 Juin 2002 avec mention très honorable.

1997-1998	DEA d'informatique a l'Université de Paris XI Orsay
	Major de promotion, mention très bien
	Stage : Tolérance aux pannes de réseau des algorithmes auto-stabilisants

1996-1997	Maîtrise d'informatique a l'université de Paris XI Orsay
	Mention bien

1995-1996	Licence d'informatique a l'université de Caen
	Mention assez bien

1993-1995	Deug de mathematique a l'université de Caen

Juin 1993	Baccalaureat section C au Lycée Malherbes à Caen

DOCTORAT

J'ai effectué ma thèse de doctorat au Laboratoire de Recherche en Informatique (LRI) de l'université d'Orsay entre 1998-2002 sous la direction de Joffroy Beauquier (LRI) et Laurent Fribourg (LSV) sur le sujet :
Preuve d'algorithmes auto-stabilisants.

Résumé de la thèse.
Manuscript

Cette thèse, spécialité informatique, a été obtenue le 19 Juin 2002 avec mention très honorable devant le jury suivant :

Joffroy Beauquier (LRI Université Orsay, Directeur)
M Marc Bui (Université Paris 8, Rapporteur)
Mme Carole Delporte (LIAFA Université Paris 7 Denis Diderot, Rapporteur)
M Laurent Fribourg (LSV ENS-cachan, Codirecteur)
Mme Laurence Puel (LRI Université d'Orsay, Présidente)
M André Schiper (EPFL)
M Ajoy K. Datta (Université Las Vegas)

HABILITATION A DIRIGER LES RECHERCHES

J'ai obtenu l'habilitation à diriger les recherches, spécialité Physique, le 22 Mai 2019 à l'université Sorbonne sur le sujet "Traitement online de données pour la physique des particules". Le jury était composé de :

M Didier Lacour Président
M Didier Contardo Rapporteur
M Volker Beckmann Rapporteur
M Cristinel Diaconu Rapporteur
M Imad Laktineh Examinateur

Manuscript

PUBLICATIONS CHOISIES

orcid

Joffroy Beauquier, Ajoy K. Datta, Maria Gradinariu, and Frédéric Magniette.
Self-stabilizing local mutual exclusion and daemon refinement.
DISC'2000, pages 233--237, 2000.
Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg, Frédéric Magniette.
Proving convergence of self-stabilizing systems using first-order rewriting and regular languages.
Distributed Computing 14(2), pages 83--95, 2001.
Joffroy Beauquier, Ajoy K. Datta, Maria Gradinariu, and Frédéric Magniette.
Self-stabilizing local mutual exclusion and daemon refinement
Chicago Journal of Theoritical Computer Science, 2002.
G. Bosilca, A. Bouteiller, F. Cappello, S. Djilali, G. Fedak, C. Germain, T.Herault, P. Lemarinier, O. Lodygensky, F. Magniette, V. Neri, A. Selikhov.
MPICH-V: parallel computing on P2P systems
SuperComputing, 2002.
Aurélien Bouteiller, Franck Cappello, Thomas Hérault, Géraud Krawezik, Pierre Lemarinier, Frédéric Magniette.
MPICH-V2: a Fault Tolerant MPI foor Volatile Nodes based on the Pessimistic Sender Based Message Logging
SuperComputing, 2003.
Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet.
Approximate Probabilistic Model Checking
VMCAI, 2004
M. Duflot, L. Fribourg, Th. Hérault, R. Lassaigne, F. Magniette, S. Messika, S. Peyronnet, and C. Picaronny.
Verification of the CSMA/CD protocol using PRISM and APMC
Proc. 4th Int. Workshop on Automated Verification of Critical Systems, 2004.
F. Cappello, S. Djilali, G. Fedak, T. Herault, F. Magniette, O. Lodygensky, V. Neri
Computing on Large Scale Distributed Systems: XtremWeb Architecture, Programming Models, Security, Tests and Convergence with Grid
Chapter in "Future Generation Computer Systems, Volume 21, Issue 3, Pages 417-437", 2005.
M-L. Martin-Magniette, J. Aubert, A. Bar-Hen, S. Elftieh, F. Magniette, J-P. Renou, J-J. Daudin
Normalization for triple-target microarray experiments
BMC Bioinformatics, 9:216, 2008.
R. Cornat, F. Gastaldi, F. Magniette
Acquisition and control command system for power pulsed detectors
Journal of Instrumentation Volume 9 (JINST 9), 2013
ref : doi:10.1088/1748-0221/9/01/C01030
F. Gastaldi, R. Cornat, F. Magniette, V. Boudry
A scalable gigabit data acquisition system for calorimeters for linear collider
Technology and Instrumentation in Particle Physics, 2014
ref : PoS(TIPP2014)193
F. Magniette, M. Rubio-Roy, F. Thiant
Pyrame, a rapid-prototyping framework for online systems
Journal of Physics, Conference Series, Vol 664, 2015
V. Balagura et al. SiW ECAL for future e + e - collider
Journal of Instrumentation, 12(07) :C07013, 2017
M. Rubio-Roy, F. Thiant, and F. Magniette
Flexible online monitoring for high-energy physics with Pyrame
Journal of Physics : Conference Series, 898(3) :032009, 2017
T. Suehara et al.
Performance study of SKIROC2/A ASIC for ILD Si-W ECAL
International Conference on Calorimetry for the High Energy Frontier (CHEF 2017) Lyon, France, 2018
F. Magniette and A. Irles
Pyrame 3, an online framework for Calice SiW-Ecal
Journal of Instrumentation, 13(03) :C03009, 2018
F. Magniette
Statistical algorithms for particle trajectography
Computer Physics Communications, 232, 59-70, 2018

EXPERIENCE PROFESSIONELLE

Ingénieur de recherche au CNRS depuis 2003

2012-Auj.	Chef de projet au Laboratoire Leprince Ringuet (LLR) de l'école Polytechnique : coordinateur des développements informatique online
	- Coordination d'un pôle de 3 personnes
	- Développement du Framework Pyrame (infrastructure légère de contrôle-commande et d'acquisition pour bancs de tests électroniques)
	- Développement du logiciel de contrôle-commande et d'acquisition pour le calorimètre electro-magnétique SiW du futur accélérateur linéaire international
	- Upgrade du logiciel de contrôle-commande du trigger de niveau 1 pour le calorimètre électro-magnétique de l'expérience CMS

2003-2012	Responsable des systèmes d'informations à la délégation Ile de France Est du CNRS.
	- Gestion d'une équipe de 8 personnes
	- Gestion du réseau des trois sites de la délégation (Belle-Epine, Campus de Vitry-Thiais, Campus de Villejuif : 1500 utilisateurs) : réseau actif (hp, cisco, bornes wifi), serveurs Internet (Web, Mail, DNS, Domaine, Ldap), connections sécurisées (openvpn, IPSEC), sauvegardes des données, applications de gestion financières et RH (SAP et Xlab)
	- Gestion et organisation d'un guichet unique pour le traitement des demandes.
	- Coordinateur régional pour la sécurité des systèmes d'information
	- Mission de conseil et d'expertise auprès des laboratoires pour l'achat et la configuration de leur système informatique et pour leurs développements
	- Chef de projet sur de nombreux développements dont un national (système d'authentification pour le marché missions du CNRS)
	- Expert technique pour des procédures de marchés publics : téléphonie, autocommutateurs, cablage réseau cuivre et fibres, agence de voyage en ligne, photocopieurs
	- Membre permanent du comité de pilotage de la délégation régionale

2002-2003	Participation au projet ACI GRID comme post-doctorant:
	- étude de sécurité des mécanismes de confinement d'exécutions.
	- participation au développement de MPICH-V (version tolérante aux déconnections de MPICH).


2000-2001	Administrateur système/réseau au CFSSI (1 an).

LANGUES

Anglais : courant
Allemand et Espagnol : niveau scolaire
Japonais : Rudiments