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.

Guillaume Petiot, profile picture

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