 |
Gourinath Banda Associate Professor Indian Institute of Technology Indore Discipline of Computer Science and Engineering, Office: Building POD 1A, Room 422 || Lab: POD 1C 204D Khandwa Road, Simrol Indore, Madhya Pradesh, INDIA 453 552 E-mail: gourinath@iiti.ac.in |
  Autonomous Cyber Physical Systems 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
Cyber Physical Systems: Design, Modelling and Verification, Intelligent transport systems, Digital Transformation (Blockchain, IoT, AI).
Teaching
- Operating Systems (Autumn 2013, 14, 15, 16, 17, 18, 19, 20, 21, 23)
- EmbeddedSystems (Spring 2014, 15, 16, 17, 18, 19, 20, 21)
- Foundations of Cyber Physical Systems (Spring 2024)
- Discrete Mathematics: Lattice Theory (Autumn 2013)
- Compiler Techniques: Syntax Analysis (Spring 2017, 18)
ACPS Lab News
ACPS Lab Members
Sponsored Projects
Patents
- US9342354B2 Systems and methods for providing safe confluence modality
- Indian Patent Grant# 337030: System And Method For Electrical Energy Conservation
- Indian Patent Grant# 500117: Wheelchair System With Brain Computer Interface And Gesture Recognition
Publications
- Most recent Publications
- Google Scholar
- DBLP
- MSEngg Dissertation. Scalable Realtime Kernel for Embedded Systems
- PhD Dissertation. "Modelling and Analysis of Real Time Systems with Logic Programming and Constraints"
Solutions developed
Past 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)
- 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
Courses Designed
- Elective: Embedded Systems: 3 Credits: Advanced UG, PG and Doctoral
- Elective: Foundations of Cyber Physical Systems: 3 Credits: Advanced UG, PG and Doctoral
- Elective: Blockchain for Responsible Computing: 3 Credits: Advanced UG, PG and Doctoral
Software
- Source code of all projects available from GitHub. You write an email to "gourinath@iiti.ac.in". micro
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]
Past work experience
- Associate Professor, Mads Clausen Institute/CIE, University of Southern Denmark, Soenderborg, Odense.
- 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
Other Responsibilities At IIT Indore
- JEE Adv. Chairman, IIT Indore [Nov 2015 onwards ~ Oct 2018]
- JoSAA, IIT Indore [Jan 2016 onwards ~ Oct 2018]
- Served as Executive Committee Member, Faculty Forum IIT Indore
