Michaël Marcozzi

  • 43 Citations
  • 3 h-Index
20072015
If you made any changes in Pure these will be visible here soon.

Personal profile

Areas of expertise

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

Awards

Best Paper Nominee at GECCO'11 International Conference

2006 Victor Mersch Prize of the best Physics Master Thesis

Introduction

I am now a postdoc (ERCIM fellowship) at INRIA Paris-Saclay (https://www.lri.fr/membre.php?mb=2022).

Holder of two master degrees, in Physics and Computer Science, I have practiced research in solid state physics at the University of Namur and artificial intelligence at the University Pablo de Olavide of Seville, before starting a Ph.D. thesis (FNRS fellow grant) at the university of Namur. I obtained my Ph.D. over constraint-based automatic test case generation for data-oriented applications.

I have also been a teaching assistant for the courses of Programming Language Theory (Syntax and Semantics), for which I have published a full exercise textbook at Presses Universitaires.

Finally, I have been a scientific staff representative in the University Scientific Council, Faculty Council and in several faculty commissions. I have been commited into several social and cultural projects in the university and in the civil society.

Diplomas

Ph.D. in Computer Science (UNamur, 2014)

Master of Computer Science (UNamur, 2010, Summa cum Laude) 

Master of Physics (UNamur, 2006, Summa cum Laude) 

Introduction

I am a postdoctoral researcher at Université Paris-Saclay (CEA, France) and an extrenal scientific research worker at Univesité de Namur. Follow me now on www.marcozzi.net and contact me at michael@marcozzi.net

Holder of two master degrees, in Physics and Computer Science, I have practiced research in solid state physics at the University of Namur and artificial intelligence at the University Pablo de Olavide of Seville, before starting a Ph.D. thesis (FNRS fellow grant) at the university of Namur. I obtained my Ph.D. over constraint-based automatic test case generation for data-oriented applications.

I have also been a teaching assistant for the courses of Programming Language Theory (Syntax and Semantics), for which I have published a full exercise textbook at Presses Universitaires.

Finally, I have been a scientific staff representative in the University Scientific Council, Faculty Council and in several faculty commissions. I have been commited into several social and cultural projects in the university and in the civil society.

Areas of expertise

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

Awards

Best Paper Nominee at GECCO'11 International Conference

2006 Victor Mersch Prize of the best Physics Master Thesis

Diplomas

Ph.D. in Computer Science (UNamur, 2014)

Master of Computer Science (UNamur, 2010, Summa cum Laude) 

Master of Physics (UNamur, 2006, Summa cum Laude) 

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Testing Engineering & Materials Science
Microarrays Engineering & Materials Science
Evolutionary algorithms Engineering & Materials Science
Surface mount technology Engineering & Materials Science
Simulated annealing Engineering & Materials Science
Formal languages Engineering & Materials Science
Genes Engineering & Materials Science
Semantics Engineering & Materials Science

Projects 2010 2014

Research Output 2007 2015

Open Access
File
Testing
Surface mount technology

Relational Test Generation Tool for SQL Applications

Marcozzi, M., 31 Jul 2014

Research output: Non-textual formSoftware

language theory
programming language
syntax
semantics
learning

Prizes

Best Paper Nominee

Michaël Marcozzi (Recipient), 16 Jul 2011

Prize: Other distinction

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

Michaël Marcozzi (Recipient), 2006

Prize: Prize (including medals and awards)

Activities 2011 2015

Information & Software Technology (Journal)

Michaël Marcozzi (Peer reviewer)
30 Jan 2015

Activity: Publication peer-review and editorial work typesEditorial activity

SAT/SMT Summer School 2014

Michaël Marcozzi (Poster)
10 Jul 201412 Jul 2014

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

36th International Conference on Software Engineering (ICSE 2014)

Michaël Marcozzi (Contributor)
31 May 2014

Activity: Participating in or organising an event typesParticipation in conference

Séminaire Pro-Doc "Projets et Financements"

Michaël Marcozzi (Participant)
25 Apr 2014

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Séminaire Pro-Doc "Networking"

Michaël Marcozzi (Participant)
6 Feb 2014

Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

Thesis

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

Author: Marcozzi, M., 29 Sep 2010

Supervisor: Vanhoof, W. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

Automatic Test Generation for Data-driven Applications

Author: Marcozzi, M., 24 Oct 2014

Supervisor: Vanhoof, W. (Supervisor), Habra, N. (Jury), Hainaut, J. (Jury), Englebert, V. (Jury), WIJSEN, J. (External person) (Jury) & Serebrenik, A. (External person) (Jury)

Student thesis: Doc typesDoctor of Sciences