Emmanuel Haucourt is a researcher at CEA LIST in Saclay in the team of Eric Goubault. His work is in directed algebraic topology and in particular in the study of the behaviour of concurrent programs. He has good notes on Topologie Algébrique Dirigée et Concurrence (in both French and English), prepared for the Master Parisien de Recherche en Informatique. These are available from his web page.