|Chennai Mathematical Institute||CNRS, LaBRI, Bordeaux University|
|Madhavan Mukund||Frederic Herbreteau|
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