I can be found in the offices of the project-team Abstraction:

Project-team Abstraction
DI - École Normale Supérieure
45, rue d'Ulm
75 230 Paris Cedex 05 --- France

on the second floor on the left, stairs of the direction.