Research Scope

The Concurrent Software Systems Lab (CSSL) performs research activities in modeling, design, development, and analysis of concurrent and distributed computing systems. This includes research in distributed software engineering, model checking, distributed operating systems, middleware, and mobile and sensor networks.

• The research work in software engineering covers many topics related to requirements specification and analysis, architecture design, and verification. Areas of focus have included design and analysis methods for distributed object systems and multi-agent software, performance metrics for concurrency models, and techniques and tools for testing of object-oriented programs.
• One area of emphasis is the theory and applications of Petri nets, a formal graph model for concurrency and coordination.
• Part of the research in verification seeks new approaches to improve the effectiveness of automated system verification using temporal logic and model checking algorithms.
• Research related to distributed operating systems focuses on design of message-passing algorithms related to message ordering coordination, inter-process communication design, security, and other operating system activities.
• Research in middleware is focused on the design of efficient and robust software for large-scale distributed systems over the Internet. Such research topics typically have both theoretical and experimental aspects.
• Research in mobile and sensor networks is concerned with the interplay between mobile objects and sensor nodes, especially as it relates to applications that perform query processing and sensor-data sampling.

Projects, Publications, and Student Activity

Refer to the various faculty web pages above for detailed information related to particular areas of expertise, publications, and ongoing research projects managed by the individual faculty.

The CSSL lab has graduated many students who are placed with organizations such as Motorola, Microsoft, Cisco, IBM T.J. Watson Research Center, Lucent Technologies, Yahoo!, Amazon, and various universities.

Funding sources

Research in the CSSL has been supported by research grants from various agencies, including NSF, ONR, ARO, AFOSR, NIST and AT&T.

Location:

2054 Engineering Research Facility (ERF)

842 W. Taylor Street (map)
The University of Illinois at Chicago
(312) 413-2103