Germain Saval

Current

Teaching Assistant / PhD Student at FUNDP - University of Namur

Past

Researcher at FUNDP - University of Namur

Education

Université Pierre et Marie Curie (Paris VI)
Université de Rouen
Ecole des Mines de Douai

see less...

Recommended

1 person has recommended Germain

Connections

124 connections

Industry

Research

Websites

Germain Saval’s Summary

At the end of my studies in Physics and Computer Science, I specialised in safety critical software design and development. I had the opportunity to join the Faculty of Computer Science of the University of Namur (FUNDP). I am pursuing a doctoral research in the domain of software engineering, specifically: requirements engineering (elicitation and description of user/customer needs) and formal development methods (automatic reasoning, proof and verification of software). I am currently working on software product lines and systematic reuse to improve the software engineering process. I am also responsible for teaching activities in object-oriented design and development (Java), and information systems modelling (UML).

Germain Saval’s Specialties:

computer science, software engineering, requirements engineering, COTS selection, software product lines, product family, formal methods, conceptual modelling, model driven engineering, model driven architecture, Java, UML

Germain Saval’s Experience

Teaching Assistant / PhD Student

FUNDP - University of Namur

(Educational Institution; 1001-5000 employees; Research industry)

September 2005 — Present (3 years 11 months)

I am pursuing a doctoral research in software engineering. I am also responsible for teaching activities in object-oriented design and development (Java), and information systems modelling (UML).
Researcher

FUNDP - University of Namur

(Educational Institution; 1001-5000 employees; Research industry)

April 2004 — August 2005 (1 year 5 months)

I worked on formal verification of specifications based on Statecharts generated by scenarios, and on a model checker for this language. I also worked on the Healthcare Professionals Federal Database for the Belgian Public Health Federal Ministry.

Germain Saval’s Education

Université Pierre et Marie Curie (Paris VI)

M.S. , Computer Science , 2000 — 2004

Specialised in safety critical software development.
Université de Rouen

B.Sc. , Physics , 1999 — 2000
Ecole des Mines de Douai

Engineering 1998 — 1999