Software Engineering Group and High Assurance Systems Lab
The Software Engineering Group and High Assurance Systems Lab investigate the set of activities to produce correct, consistent software products effectively and efficiently.
Faculty research interests include model based development, software validation and verification, architectural analysis and software services, and product line software development practices. In many of these areas, researchers apply modern machine learning and data mining techniques to uncover development patterns which contribute the most to software security, reliability and overall quality. Application areas of past and current projects range from long duration space systems and adaptive flight controls to modern open source and service based systems.