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.

Contact Information

Bojan Cukic

Phone: 304.293.9686
Email: bojan.cukic@mail.wvu.edu