Didier Buchs

Didier Buchs obtained a PhD degree in Computer Science from the University of Geneva in 1989. He was a researcher at 'Laboratoire de recherche en Informatique' of University of Paris Sud (Orsay) from 1989 to 1991 and the leader of the research team working on formal methods and concurrency at University of Geneva from 1991 to 1993. He has been a 'collaborateur scientifique' at the Software Engineering Laboratory of EPFL since 1993.

His current interest is principally on formal specification methods and testing techniques for real size distributed systems. These research topics produce a number of significant results such that the development of a specification language CO-OPN as well as its supporting environment SANDS.

Available publications, current research activities at Software Engineering Laboratory of EPFL, in collaboration with CUI of Geneva and the LRI of University de Paris Sud (Orsay).

Address of contact: