Research
cs580Lib Project
Focused on designing Maple objects that support research and instruction in formal languages and automata theory. [more]
By: Thomas Piatkowski, J. Donald Nelson
Data Projection and Visual Exploration
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
Object-Oriented Development & Analysis
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
Opportunistic Networks (Class 2)
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
Parallel Multivariate Integration
New techniques in the distributed computing of multivariate integrals require a user-friendly software interface. [more]
By: Elise de Doncker, Karlis Kaugars
Smart Wireless Sensor Networks
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 Verification
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]
By: Zijiang (James) Yang