 |
Gourinath Banda Associate Professor Indian Institute of Technology Indore Discipline of Computer Science and Engineering, Building POD 1D, Room 202/303 Khandwa Road, Simrol Indore, Madhya Pradesh, INDIA 453 552 E-mail: gourinath@iiti.ac.in |
  Embedded Systems (CPS,IoT) Research Group |
Education
- Ph.D. in Computer Science (Spec: Formal verification of Embedded
Systems) from
Roskilde University, Denmark. (Thesis Supervisor: Prof. John Gallagher)
- M.S. Engg in Mechatronics (Spec: Realtime Kernel Design) from
University of Southern Denmark, Denmark. (Thesis Supervisor: Prof.
Christo Angelov)
Research
- Faculty member in the Discipline of Computer Science and Engineering at Indian Institute of Technology Indore.
- Research
Interests: Embedded systems (CPS, IoT, WSN, etc.), Formal verification
(Model checking, Abstract Interpretation, Static Analysis), Temporal
logics, semantics-based emulation of languages and systems, Autonomous
Systems and verification, Intelligent transport systems, Mechatronics.
Fellowships /Scholarships
- EU 5 FW Project Doctoral fellowship towards pursuing PhD at Roskilde University. Together with Roskilde University
- International graduate scholarship to pursue
MS Engg in Mechatronics at Mads Clausen Institute for Product
Innovation, University of Southern Denmark. [Jointly by Government of Denmark and Foss Electric A/S, Copenhagen]
Projects
- DST-ICPS-HiConCyPhy. Department of Science and Technology (Government of India (2018-2021), Grant amount: INR 70 Lakhs (Role: PI)
- SESC-IEDC. DST Project, Grant Amount: INR
45 Lakhs. (Role: Co-PI)
- Embedded Systems Course. Proposed and
developed this elective course for BTech final years at IIT Indore in
2013 Spring. Is continuing actively since then.
- DBT-Canin: Embedded system development for
diagnosing female dogs, Grant amount: INR 35 Lakhs (2018-2021). (Role:
Co-PI)
- ASAP:
Advanced Specialisation and Analysis for Pervasive Systems. European
Commission Framework 5 project, From 2004-2010, my PhD fellowship worth
INR 1.5 Crore was supported jointly by this project and Roskilde
University.
IST Results article on ASAP.
- Realtime kernel HARTEX. As part of MSEngg
dissertation, I developed a hard realtime kernel compatible for AVR GCC
primarily meant for Atmel 8-bit microcontrollers
Publications
Recent Publications
- Sep 2018: Our paper in the area of autonous systems got accepted for
pupblication in an IEEE Journal [J]
- IJITST.
Dec 2017: "A forward compatible IoT protocol and framework addressing
concerns due to internet-outage" [J]
- JRIE Nov 2016: "One IoT: an IoT protocol and framework for OEMs to make IoT-enabled devices forward compatible" [J]
Dissertationsn
- MSEngg Dissertation. Scalable Realtime Kernel for Embedded Systems
- PhD Dissertation. "Modelling and Analysis of Real Time Systems with Logic Programming and Constraints"
Software
- Source code for HARTEX micro
Patents
- US9342354B2 Systems and methods for providing safe confluence modality [Patent granted May 2016]
- App No-4092-MUM-2015: System And Method For Electrical Energy Conservation [IPO Mumbai]
- 201821010650: Wheelchair System With Brain Computer Interface And Gesture Recognition [IPO Mumbai]
Past work experience
- Chief Engineer, Samsung R&D India Labs, Noida
- Teaching Assistant, Mads Clausen Institute, University of Southern Denmark, Soenderborg.
- Research Associate, ASAP Project, 5FW EU.
- Doctoral Fellow, Roskilde University, Denmark
Teaching
- Operating Systems (Autumn 2013, 14, 15, 16, 17)
- Embedded Systems
(Spring 2014, 15, 16, 17, 18)
- Introduction to parallel and distributed computing (Fall 2005)
- Discrete
Mathematics: Lattice Theory (Autumn 2013)
- Compiler Techniques: Syntax Analysis (Spring 2017, 18)
Other Responsibilities At IIT Indore
- JEE Adv. Chairman, IIT Indore [Nov 2015 onwards]
- Serving as Executive Committee Member, Faculty Forum IIT Indore
