Mamadou Kaba Traoré currently chairs the distributed software engineering Master degree at Blaise Pascal University in France. His research is on formal specification, symbolic manipulation and code synthesis of simulation models.