Didier Buchs a obtenu un doctorat en informatique sur le thème du génie logiciel et plus particulièrement sur la spécification de systèmes interactifs. Il a été chercheur dans l'équipe de génie logiciel du Laboratoire de recherche en informatique de l'Université de Paris-sud, où il a travaillé sur les méthodes de spécifications formelles intégrant la concurrence. Dès 1991 à Genève, puis dès 1993 à l'Ecole polytechnique fédérale de Lausanne au Laboratoire de génie logiciel, Didier Buchs anime une équipe de recherche très active dans le domaine des méthodes formelles de spécification, du prototypage incrémental et du test pour systèmes concurrents. Didier Buchs est l'auteur de nombreuses publications scientifiques et responsable de divers projets dont les thèmes sont la théorie du développement de systèmes concurrents fiables.