Associate Professor,
IIT
Dr. Gourinath Banda
Department : Computer Science and Engineering
gourinath@iiti.ac.in
Research Interests
Embedded Systems (Cyber-physical systems, Internet-of-Things, Wireless Sensor Networks, etc.) and their�?Formal Verification (Model Checking, Abstract Interpretation, Program Transformation and Generation, Program Analysis),�?Semantics-based Emulation of Languages and Systems, Autonomous vehicles.