lipn

Laboratoire d'Informatique de Paris Nord

UMR 7030, Université Paris 13, 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

up13 cnrs

Jean-Yves Moyen en détachement à l'Université de Copenhague

 

Jean-Yves Moyen a obtenu une bourse européenne Marie Curie pour une durée de deux ans à partir de septembre 2015. Pendant cette période, il sera détaché à l'université de Copenhague (Danemark). Il étudiera l'ensemble des équivalences entre programmes à l'aide d'outils venus de la théorie des ordres, de la topologie ou de l'algèbre. Le but étant de cerner la relation "deux programmes sont équivalents s'ils implémentent le même algorithme."

pres

w3c-xhtml