Michaël Marcozzi

  • 49 Citations
  • 3 h-Index
20072015
Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Profil personnel

Domaines de compétence

Software Testing, Symbolic Execution, Relational Databases, Relational Constraint Solving, Evolutionnary Computation, Parsing Theory

Prix/Distinctions

Best Paper Nominee at GECCO'11 International Conference

Prix Victor Mersch 2006 pour un mémoire en Physique

Présentation

Je suis maintenant chercheur postodoctorant (bourse ERCIM) à l'INRIA Paris-Saclay (https://www.lri.fr/membre.php?mb=2022).

Titulaire de deux masters, un premier en sciences physiques et un second en science informatique, j'ai effectué des recherches en physique du solide à l'université de Namur, et en intelligence artificielle à l'université Pablo De Olavide de Séville, avant d'entamer une thèse de doctorat (bourse FNRS) à l'université de Namur. J'ai obtenu ma thèse sur la génération automatique de données de test basée sur les contraintes pour les applications orientées données.

J'ai été également assistant pour les cours de Théorie de Langages de Programmation (Syntaxe et Sémantique), pour lequel j'ai édité aux Presses Universitaires un manuel d'exercice complet.

Enfin, j'ai été représentant du personnel scientifique de ma faculté au conseil universitaire du corps scientifique, au conseil de la faculté d'informatique et dans diverses commissions facultaires, et j'ai été engagé dans divers projets à vocation sociale et culturelle au sein de mon université et de la société civile.

Diplômes

Doctorat en Sciences (Orientation : Informatique, UNamur, 2014)

Master en Sciences Informatiques (UNamur, 2010, La Plus Grande Distinction) 

Master en Sciences Physiques (UNamur, 2006, La Plus Grande Distinction) 

Présentation

Je suis chercheur postdoctorant à l'Université Paris-Saclay (CEA, France) et collaborateur scientifique externe à l'Unamur. Suivez-moi désormais sur www.marcozzi.net et contactez moi à michael@marcozzi.net !

Titulaire de deux masters, un premier en sciences physiques et un second en science informatique, j'ai effectué des recherches en physique du solide à l'université de Namur, et en intelligence artificielle à l'université Pablo De Olavide de Séville, avant d'entamer une thèse de doctorat (bourse FNRS) à l'université de Namur. J'ai obtenu ma thèse sur la génération automatique de données de test basée sur les contraintes pour les applications orientées données.

J'ai été également assistant pour les cours de Théorie de Langages de Programmation (Syntaxe et Sémantique), pour lequel j'ai édité aux Presses Universitaires un manuel d'exercice complet.

Enfin, j'ai été représentant du personnel scientifique de ma faculté au conseil universitaire du corps scientifique, au conseil de la faculté d'informatique et dans diverses commissions facultaires, et j'ai été engagé dans divers projets à vocation sociale et culturelle au sein de mon université et de la société civile.

Domaines de compétence

Software Testing, Symbolic Execution, Relational Databases, Relational Constraint Solving, Evolutionnary Computation, Parsing Theory

Prix/Distinctions

Best Paper Nominee at GECCO'11 International Conference

Prix Victor Mersch 2006 pour un mémoire en Physique

Diplômes

Doctorat en Sciences (Orientation : Informatique, UNamur, 2014)

Master en Sciences Informatiques (UNamur, 2010, La Plus Grande Distinction) 

Master en Sciences Physiques (UNamur, 2006, La Plus Grande Distinction) 

Empreinte digitale Examinez les sujets de recherche où Michaël Marcozzi est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 1 Profils similaires
Testing Ingénierie et Science des Matériaux
Microarrays Ingénierie et Science des Matériaux
Evolutionary algorithms Ingénierie et Science des Matériaux
Surface mount technology Ingénierie et Science des Matériaux
Simulated annealing Ingénierie et Science des Matériaux
Formal languages Ingénierie et Science des Matériaux
Genes Ingénierie et Science des Matériaux
Semantics Ingénierie et Science des Matériaux

Projets 2010 2014

Résultat de recherche 2007 2015

  • 49 Citations
  • 3 h-Index
  • 5 Article dans les actes d'une conférence/un colloque
  • 3 Article de travail
  • 2 Article
  • 1 Livre
File
Testing
Surface mount technology
85 Downloads (Pure)

Relational symbolic execution of SQL code for unit testing of database programs

Marcozzi, M., Vanhoof, W. & Hainaut, J. L., 1 juil. 2015, Dans : Science of Computer Programming. 105, p. 44-72 29 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
Testing
Surface mount technology

Relational Test Generation Tool for SQL Applications

Marcozzi, M., 31 juil. 2014

Résultats de recherche: Forme non textuelleLogiciel

Testing Database Programs using Relational Symbolic Execution

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2014.

Résultats de recherche: Papier de travailArticle de travail

File
language theory
programming language
syntax
semantics
learning

Prix

Best Paper Nominee

Michaël Marcozzi (Bénéficiaire), 16 juil. 2011

Prix: Autre distinction

Prix Victor Mersch 2006 pour un mémoire en Sciences Physiques.

Michaël Marcozzi (Bénéficiaire), 2006

Prix: Prix ​​(y compris les médailles et récompenses)

Activités 2011 2015

Information & Software Technology (journal)

Michaël Marcozzi (Membre d'un comité de revue par les pairs)
30 janv. 2015

Activité: Types de Publication de l'évaluation d'un pair et d'un travail éditorialActivité éditoriale

SAT/SMT Summer School 2014

Michaël Marcozzi (Poster)
10 juil. 201412 juil. 2014

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

36th International Conference on Software Engineering (ICSE 2014)

Michaël Marcozzi (Orateur)
31 mai 2014

Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

Séminaire Pro-Doc "Projets et Financements"

Michaël Marcozzi (Participant)
25 avr. 2014

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

Séminaire Pro-Doc "Networking"

Michaël Marcozzi (Participant)
6 févr. 2014

Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

Thèse

A multi-objective genetic algorithm for biclustering of gene expression data with probabilistic encoding and overlapping control

Auteur: Marcozzi, M., 29 sept. 2010

Superviseur: Vanhoof, W. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Automatic Test Generation for Data-driven Applications

Auteur: Marcozzi, M., 24 oct. 2014

Superviseur: Vanhoof, W. (Promoteur), Habra, N. (Jury), Hainaut, J. (Jury), Englebert, V. (Jury), WIJSEN, J. (Personne externe) (Jury) & Serebrenik, A. (Personne externe) (Jury)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Fichier