Mon séjour de recherche à Tōkyō durant le printemps 2013

En ce printemps 2013, j’ai été invité par le National Institute of Informatics (NII) de Tōkyō à effectuer un séjour de recherche dans la capitale japonais pour, d’une part approfondir mes collaborations avec le NII, d’autre part donner une série de 4 conférences sur ma thématique de recherche (le model-checking et ses applications à la biologie) d’autre part.

Cette page rassemble un certain nombre de photos de ma vie quotidienne sur place.

Leave a comment