Landrault is an author at Centre National de la Recherche Scientifique specializing in formal verification, computer engineering, and computer architecture.