Thierry Massart is professor in the Group in Formal Methods and Verification in the Computer Sciences Department of the Université Libre de Bruxelles since 1991.

His research is mainly related to formal specification and verification of distributed systems. In particular:

• The reliable design of distributed systems: see the dSL language.
• The study and use of models and languages to formally specify and verify network protocols. Among these languages, one finds process algebras as CCS, CSP, LOTOS, and languages based on extended Labelled Transition Systems as SDL. He is also interested in the study of models to specify and formally verify real-time systems.
• The design of efficient model-checking and testing techniques for distributed systems.
• Correctness preserving transformations of specifications using process algebra. 
• Model Checking of Infinite state systems through abstract interpretation and program specialisation.

• 1993-1997: Co-promotor with R. Devillers of the project FIRST-University (n° 2618) in collaboration with Spacebel Informatics funded by the Région Wallonne. Formal specification and validation of tasks scheduling methods for real-time systems. Researchers: Christian Hernalsteen and Eric Van Nuffel from October 1996. Christian Hernalsteen receives his PhD Thesis in 1998.
• 1994-1996: Project funded by the Ministère de l'Education Nationale du Grand-Duché du Luxembourg. Modelling and design of distributed systems by formal description techniques. Researcher: Frank Weis.
• 1997: Project CAPITALS funded by the Région de Bruxelles Capitale.
• 1999: 2 Projects First-Europe on Reliable Software Design. Researchers: Laurent Van Begin and Anthony Piron.
• 2001: Project dSL funded by the Région de Bruxelles Capitale in collaboration with the company Macq Electronique. Researchers: Bram De Wachter and Anthony Piron.
• 2003: Project dSLVerif funded by the Région de Bruxelles Capitale in collaboration with the company Macq Electronique. Researchers: Bram De Wachter, Alexandre Genon and Cédric Meuter.
• 2007: Project MoVES funded by the Belgian Science Policy. Researcher: Emmanuel Filio, Alexander Heussner, Nayiong Jin, Gabriel Kalyon, Tristan Le Gall, Nicolas Macquet, Pierre Alain Reynier, Mahsa Shirmohammadi, Nathalie Sznajder

Our research group has collaborations with the following groups:

• Group of Prof. Thomas A. Henzinger,University of California, Berkeley;
• Group of Prof. Michael Leuschel, Heinrich-Heine-Universität Düsseldorf, Germany;
• Group of Dr. Giorgio Delzanno, DISI, University of Genova, Italy;
• Group of Prof. Pierre-Yves Schobbens,Université de Namur, Belgium;
• Group of Prof. Véronique Bruyère, Université de Mons-Hainaut, Belgium;
• Group of Dr. Franck Cassez , IRCyN, Ecole Centrale de Nantes, France;
• Verimag, Grenoble, France;
• LSV, ENS Cachan, France.
• Thierry Jéron and Hervé Marchand, IRISA, Rennes, France.