Focused on designing Maple objects that support research and instruction in formal languages and automata theory. [more]
By: Donald Nelson

Large relational data are the primary sources of data in the real world. The analysis, exploration, and walk-through of large relational data have practical applications in many areas. [more]
By: Li Yang
When the Unified Modeling Language models designed by developers from different fields become so complicated, it is really hard for developers to manually find any inconsistencies among these models. Our utmost research goal is to build some automatic tools which relieve software developers’ pain in finding inconsistencies/errors in software models. [more]
By: Wuwei Shen

Oppnets leverage their capabilities by exploiting the wealth of pervasive devises that are within their reach, crossing hardware, software, and communication barriers to produce extra computing power. [more]
By: Leszek Lilien, Ajay Gupta, Zijiang (James) Yang
New techniques in the distributed computing of multivariate integrals require a user-friendly software interface. [more]
By: Elise de Doncker

Cutting-edge research in designing, developing and implementing smart wireless sensor network systems for various pharmaceutical, military, environmental and commercial applications. [more]
By: Ajay Gupta

Software is increasingly becoming the vehicle of modern civilization, playing a crucial role in our society. Consequently, the problem of making software reliable has become one of today’s most important challenges. Studies estimate that bugs in software cost businesses worldwide about $175 billion annually. In addition, software failures can lead to loss of life in safety-critical systems such as airbag-deployment systems and aircraft collision-avoidance systems. Our research aims to develop practical tools and methodologies that can ensure reliability of software systems. [more]

Human drivers suffer from perception limitations on roadway emergency events, resulting in large delay in propagating emergency warnings. We design new adaptive encoding, modulation and MAC protocols to guarantee minimum delay for V2V and V2R communication. [more]
By: Ala Al-Fuqaha