Model-Based Detection of Emergent Behavior in Distributed Systems

The lack of central control in distributed systems makes the analysis and design of such systems a challenging task.  In fact many faults are introduced into the system at this stage of the software development life cycle.  Therefore discovering and removing design validation of distributed software systems prior to the implementation phase is greatly desirable as it results in huge savings in time and cost.  An effective and efficient approach to describing the requirements of distributed systems is by using scenarios.  Scenarios are commonly represented using message sequence charts or se

Phase II – A Software Platform for Generation of Mutually Correlated Multi-Dimensional Stochastic Time Series Vectors

The project is aimed to establish and algorithm and computer software for generation of multiple time series of data which represent processes that are closely correlated and auto-correlated (i.e. data in time step i are correlated to the data in time steps i-1, i-2,i-3, etc.). This project is of significant importance to the company.  It represents significant improvement of our earlier developments in this field.

Partial differential equations for seismic imaging.

The goal of the project is to implement specific numerical algorithms for rendering high resolution seismic images, using a parallel processing framework.

Vibration Assisted Nano Mechanical Machining through Atomic Force Microscope

The objectives of this proposed research are the development of a piezoelectric actuator system to assist nano machining by minimizing forces and the generation of nano-patterns to achieve the desired surface characteristics. The objectives shape the comprehensive technologies required to achieve flexibility, productivity and accuracy in manufacturing miniature systems through a judicious combination of experimental and analytical analysis.

Thermoelectric Applications in Waste Heat Recovery

In this project, we will explore the capability to produce meaningful amounts of electricity by thermoelectric generation from waste heat in industrial applications.  We will derive theory to evaluate the capability of thermoelectric power generators and design and build simple thermoelectric generation devices to test the theory.  We will compare metal and semiconductor thermoelectric materials. 

Universal characterization of quantum optical devices: Theory and practice

The primary vision of my group’s research is implementing light as the principal physical medium for quantum information processing. Light is an ideal communication agent: because the energy of the photon is normally much higher than the average temperature of the environment, it can propagate many miles without losing the information it carries. Therefore, no matter what physical system will be the basis for future quantum computers, these computers will have to use photons to talk to each other.

Pages