Burkhart Wolff insegna all’Università Pasis-Sud (Orsay) ed è membro del Laboratorio di Ricerca Informatica (LRI). È co-direttore del Team VALS (Verifica di Algoritmi, Linguaggi e Sistemi). I suoi interessi di ricerca si concentrano sugli Ambienti di Verifica dei Software e lo sviluppo e integrazione di strumenti informatici con diverse funzioni, nonché di appropriate interfacce utenti per gli stessi. Ha studiato a lungo l’applicazione di tecniche di verifica e testing nel campo della sicurezza informatica.
