My primary research interest lies in the field of Computational Neuroscience. (A corpus of simulated spike train data generated with NSF support can be found here). Below is a high level description of my research objectives.

My current and old PhD students are:

Current Students:

Students that have graduated:

Perspective

The abstract computational device that underlies a digital computer is a Finite State Automaton (or a Turing Machine if one assumes infinitely expandable memory). Our familiarity with the artifact, the digital computer in all its forms, is ultimately founded on this knowledge.

Interest in the nature of the human mind can be traced to the beginning of recorded history. There is now general consensus that the brain is implicated in cognition and behavior. If we are to decipher the nature of the human mind (and this includes all perception: visual, auditory, olfactory, tactile, or proprioceptive, higher order faculties such as language comprehension, and the most abstract of qualities such as attention), we must first consider the corresponding problem with regard to the brain: What abstract device underlies this physical system.

Research Objective

My principal research objective has been to determine the nature of the abstract computational device that recurrent (and feedforward) systems of spiking neurons in the brain are a physical embodiment of. My approach has been to address the issue in stages, namely, to first determine the salient dynamical characteristics of such systems, and subsequently, to exploit this knowledge to arrive at a principled resolution of the matter.

I have been pursuing the following questions with regard to the dynamics of systems of spiking neurons in the brain.

  • Are there coherent spatio-temporal structures in the dynamics of neuronal systems that can denote symbols.

    My usage of the term "symbol" conforms with the limited notion of a symbol as used in Computer Science---discrete states that mark a computational process regardless of representational content, if any, and not the notion of a symbol in the greater sense of the word---the physical embodiment of a semantic unit, as used in the Cognitive Sciences. The question therefore does not presuppose a position on the contentious issue of Representationalism.

  • If such structures exist, what restrictions do the dynamics of the system at the physical level impose on the dynamics of the system at the corresponding abstracted symbolic level.

In order to address these questions, I have formulated an abstract dynamical system that models recurrent systems of spiking biological neurons (Banerjee, 2001a). The abstract system is based on a limited set of realistic assumptions and in consequence accommodates a wide range of neuronal models. I have evaluated the viability of the system by conducting extensive simulation experiments with the system set to model a typical column in the cortex. The characteristic behavior of the system is akin to that observed in neurophysiological experiments.

A thorough understanding of the dynamical behavior of the system can be achieved only by way of a comprehensive formal analysis of its dynamics. My approach has been to address the problem in stages. I began by analyzing the dynamics of the system under stationary conditions with either no input or input given by a stationary process. My efforts culminated in, among other results, a formal demonstration of the fact that under normal operational conditions, the dynamics of a typical neocortical column is governed by attractors that are not only almost surely (with probability 1) chaotic but are also potentially anisotropic (Banerjee, 2001b, 2003).

The general case must, however, address a problem of far greater complexity---the dynamics of systems with unconstrained inputs. This requires a mathematical framework that allows for the formal analysis of the transient dynamics of non-autonomous systems. A crucial question in this context is whether there is a formal counterpart to the concept of an attractor, an issue I am currently investigating.