Academia

This project uses mathematical filtering theory to develop computer tractable real time solutions for incomplete, corrupted information problems. These techniques have proven to be beneficial in defence, communications, media effects, and manufacturing. In 2002-2003, Optovation Inc. was added as a new partner, Lockheed Martin Corp. filed for two new patents and we formed a spin-off company, Random Knowledge Inc. to commercialize our technology in the areas of Network Security, Fraud Detection, and Finance.

Reactive Systems are formal systems that cause events in the physical world, in reaction to a set of monitored inputs. Examples include control systems for aircraft, medical devices, industrial processes, and consumer appliances. In many of these examples, safety (and often security) of the system is of paramount importance. To say anything at all about whether such a system is safe or secure, one has to be able to predict its behavior under the conditions that the system may encounter in use.

Due to the explosive growth in the technology for manufacturing integrated circuits, modern chips contain millions of transistors. Using sophisticated optimization algorithms, it is possible to achieve notable increases in the performance of the chips, reduce the manufacturing costs, and produce faster, cheaper computing for society. Thus, the objective of this project is to enhance the solution of large-scale optimization problems arising in these applications.

The surveys being developed by government, health and social science organizations have increased in complexity and as a result, the data that is collected is similarly more complicated. Thus, this project focuses on developing new tools to address issues which arise during the analysis of this complex data including longitudinal data, information which is based on a set of repeated observations of an individual, or group of individuals, over time.