Prof. Baral’s main research interests are threefold: (i) developing language constructs and surrounding building block results for representing knowledge and reasoning with it, (ii) developing a theory of actions and their impact on an environment and using it in autonomous agent design, planning and diagnosis, (iii) Using (i) and (ii) in modeling cell behavior and reasoning with it to explain observations and develop plans of action so as to alter pathways that could suggest therapeutic procedures.