Hi, I'm Guillaume
Software engineer with expertise in functional programming and logic programming. Previously a researcher in formal verification, program testing, and software reliability.

Projects
TryTagalog.com - Language Learning Platform
An interactive e-learning platform designed to help people learn Tagalog, the national language of the Philippines. The platform features progressive lessons, pronunciation guides, and cultural context to make language learning engaging and effective.
Teaching
Logic Programming with Prolog - University Course
Versailles Saint-Quentin-en-Yvelines University, 2014-2015
Introduction to Prolog programming language and logic programming paradigms.
Research
How Testing Helps to Diagnose Proof Failures
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti and Jacques Julliand
Static and Dynamic Verification of Relational Properties on Self-Composed C Code
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto and Guillaume Petiot
Your Proof Fails? Testing Helps to Find the Reason
Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti and Jacques Julliand
PhD Thesis: Contribution to C Program Verification by Combining Tests and Proofs
Guillaume Petiot
Sequential Generation of Structured Arrays and Its Deductive Verification
Richard Genestier, Alain Giorgetti and Guillaume Petiot
Instrumentation of Annotated C Programs for Test Generation
Guillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov and Julien Signoles
How Test Generation Helps Software Specification and Deductive Verification in Frama-C
Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti and Jacques Julliand
An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs
Nikolai Kosmatov, Guillaume Petiot and Julien Signoles
FISSC: a Fault Injection and Simulation Secure Collection
Louis Dureuil, Guillaume Petiot, Marie-Laure Potet, Thanh-Ha Le, Aude Crohen and Philippe de Choudens
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML
Wadoud Bousdira, Frederic Gava, Louis Gesbert, Frederic Loulergue and Guillaume Petiot