"We all agreed that your theory is crazy. The question which divides us is whether it is crazy enough to have a chance of being correct. My own feeling is that it is not crazy enough."

— Niels Bohr


The areas of interest being pursued by ACLab researchers can be grouped into two main categories:

Formal Models and Natural Computing

Research on formal models include the analysis and development of formal models, and their application to modeling and analyzing real world systems such as computer security and e-voting systems. In natural computing research, the main interest is the synthesis of novel nature-inspired computing models and algorithms that can provide, within a very reasonable amount of time, exact solutions to problems that are considered intractable when standard model of computations are used. 

Approaches to Hard Algorithmic Problems

This area of research focuses on the characterization of computationally hard problems, and the development of algorithmic means to completely and/or approximately solve some of them. The current active topics being studied by several members of the laboratory are combinatorial problems, problems related to computational biology, and computational data analysis and visualization.