Alexandre ROCCA – Ingénieur en Systèmes et Logiciels

Alexandre ROCCA
Ingénieur en Systèmes et Logiciels Embarqués
Í
30/12/1989
15B Bd Agelasto
13009 MARSEILLE
H 07 86 49 71 00
B [email protected]
alexandre.rocca.site.free.fr
Diplômes et Études
2011-2013 Diplôme d’ingénieur Grenoble INP Phelma en Systèmes et Logiciels Embarqués,
Le cursus est commun pendant les 2 dernières années avec celui de l’Ensimag.
2010-2011 Équivalence Licence de Physique-Chimie, Première année d’école d’ingénieur, Phelma
(Physique, Électronique, et Matériaux)– Grenoble INP.
2007-2009 Classe préparatoire PCSI puis PC*, équivalence L1 L2 en Physique-Chimie, Lycée
Saliège – Toulouse.
Expériences
Octobre 2013 Systèmes Continus, Algèbre Linéaire, Calcul Ensembliste, Développement C++,
à Juin 2014 CDD co-financé par le laboratoire Verimag (Oded Maler, Thao Dang), et le laboratoire TIMCIMAG (Eric Fanchon).
Partie méthodologique: Recherche et développement sur calcul d’atteignabilité des système linéaires et
non-linéaire. Ce travail est exposé dans une publication (cf. section Publications).
Partie modélisation: Travail bibliographique sur la cellule-β et la production d’insuline, et construction
d’un premier modèle mathématique. Travail lié au projet ANR Cadmidia (cadmium et diabète).
Mars à Août Programmation Logique, Model-Checking, Réseaux de Régulation Génétique,
2013 Réseaux Booléens, Implémentation en Answer Set Programming (ASP) des formules CTL
pour l’analyse de réseaux génétiques, Stage 3ème année (Projet de Fin d’Étude – PFE) au
Inoue Laboratory, National Institute of Informatic, Japon. Maître de stage: Katsumi Inoue.
Développement et Recherche d’une implémentation efficace des formules CTL en ASP pour le
model-checking de réseaux biologiques. Ce travail découlera sur deux publications (cf. Publications).
Septembre à Linux Embarqué, VHDL, Implémentation du protocole rDMA sur FPGA, Ensimag..
Février 2013 Développement d’un driver réseaux optimisé pour Linux embarqué.
Juillet à Scripts, Développement C et Temps-Réel, Stage 2ème année, Laboratoire Verimag –
Septembre Grenoble. Maître de stage: [email protected].
2012 Implémentation avec succès d’une plateforme temps-réel, conservant une sémantique idéale de
communications entre les tâches. (Implémentation en mono-cœur, et étude en multi-cœur.)
Juin à Juillet Développement C et Système d’exploitation, Projet de Spécialité, Ensimag.
2012 Développement d’un système d’exploitation pour une console de jeu.
Lien du projet
Janvier à Théorie des langages et Programmation orientée objet, Projet Génie Logiciel, Ensimag.
Février 2012 Développement d’un compilateur pour un équivalent du java, en ADA.
Octobre à Programmation Orientée Objet, Algorithmique et Représentation 3D, Projet Java,
Décembre Ensimag.
2011 Création d’un moteur de rendu 3D en java.
1/2
Janvier à Physique des Surfaces, Mécaniques des Fluides, Projet Phelma 1er année, Phelma.
Juin 2011 Étude de la thermo-capillarité: mouvement d’une goutte soumis à un différentiel de température (ici
sur une surface lisse).
Présentations et Summer School
21 mai au 25 Participation à l’Ecole de Printemps de Biologie Théorique, St Flour, France.
mai 2014
15 mai 2014 Présentation orale séminaire BCM, Grenoble, France, Exploiting the Eigenstructure
of Linear Systems to speed up Reachability Computations.
15 septembre Présentation orale à LNMR 2013, La Corogne, Espagne, Inference and Learning of
2013 Boolean Networks Using Answer Set Programming.
27 mai 2013 Présentation orale au Kick-Off Meeting,Yamanashi, Japon, CTL and ASP for ModelChecking of Biological Bolean Networks.
19 avril 2013 Présentation orale au KUBIC2013 meeting, Kyoto, Japon, CTL and ASP for ModelChecking of Biological Bolean Networks.
14 mars 2013 Présentation orale au CSPSAT2 meeting, Saga, Japon, ASP for Embedded Systems
through Model-Checking.
Publications
9 mai 2014 Contribution au livre: Logical Modelling of Biological Systems (en édition), Ecriture
de la moitié du chapitre: ASP for construction and validation of regulatory biological networks.
27 avril 2014 Papier accepté au colloque Hybrid System and Biology (HSB) 2014, Vienne,
Autriche, Exploiting the Eigenstructure of Linear Systems to speed up Reachability Computations, écrit en auteur principal.
31 juillet 2013 Papier accepté à LNMR 2013, La Corogne, Espagne, Inference and Learning of Boolean
Networks Using Answer Set Programming, écrit en auteur principal.
Connaissances
Informatique
Conception UML, UML Marte
Objet Java, C++, Python
Autres C, ADA, Answer Set Programming, Aslangages sembleur, Lustre, Bash
Base de Oracle, SQL
données
Data Flow VHDL
Autres Automatique (control theory), Vérification Formelle, Résistance au fautes, LATEX,
Connaissances en architecture système,
Système d’exploitation, Linux et drivers,
Physique des matériaux, Statistiques, biologie théoriques, Graphes et algorithmique, Électrochimie.
Langues
Anglais lu, parlé, écrit
Japonais notions
Niveau B2 – TOFEL
2 années d’études
Centres d’intérêt
Loisirs Escrime en compétition, Jeu de rôle, Modding (modification de jeux-vidéo).
Associatif Implication dans la vie associative d’une résidence étudiante et sa bibliothèque, ainsi que dans
un club jeu de rôle.
2/2