User:Germain Saval

Germain Saval studied Physics and Computer Science at the University of Paris 6, and specialised in safety critical software design and development. Then, he joined the Faculty of Computer Science of the University of Namur (FUNDP). There, he is 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).

More info: http://www.linkedin.com/in/germainsaval