Chennai Mathematical Institute CNRS, LaBRI, Bordeaux University
Madhavan Mukund Frederic Herbreteau
Srivathsan Igor Walukiewicz

Description of the project

IoTTTA is a collaborative research programme under  DST-INRIA-CNRS targeted programme, 2017

The goal of the project is to provide rigorous mathematically supported methods for IoT software development, testing and analysis. To this regard, we plan to: (1) devise mathematical models for critical aspects of IoT software, and (2) build efficient techniques and tools for analyzing them. We will base our approach on our expertise in analyzing distributed and timed systems.


  • Visit of Madhavan Mukund at LaBRI, May 16-18, 2017
  • Internship of  Thejaswini K S at LaBRI, May-July, 2017
  • Visit of Srivathsan at LaBRI, June 19 – July 15 , 2017