Concurrent Programming Research Laboratory

The goal of the Concurrent Programming Research Laboratory (CONCUR) is to investigate new methods for the specification and design of concurrent/distributed systems with adaptive or reflective behavior. Current research projects include:

• A graphical framework for developing adaptable client/server applications.
• A meta object protocol (MOP) for reflective systems.
• The applicability of formal methods, verification, and refinement techniques to complex distributed systems.

Faculty contact: Dr. Tzilla Elrad