Pierre-Louis CURIEN 
Distinguished Visiting Scholar April to June 2010
Founder and director of the laboratory "Proofs, Progrtams and Systems", joint between CNRS and University Paris Diderot
Email: curien "at" pps.jussieu.fra
Website: http://www.pps.univ-paris-diderot.fr/~curien/
Professor Curient is a former student of Ecole Normale Supérieure, where he studied mathematics before specialising in the field of theoretical computer science. He is a senior CNRS reseacher.
His main interests lie in the semantics of programming languages, with applications to the verification and certification of software, and to the desgin and implementation of programming languages, using tools from mathematical logic, algebra, and topology.