translate English to French: He is particularly involved in the development of an editor for inference, modification, and validation rules.
Elle travaille en particulier sur un éditeur de règles d'inférence, de modification et de validation.