Laboratory for Software Safety
Safety Analysis for Critical Product Lines
Natural Language in the Development of High-Confidence Software
Software engineering
Software safety
Requirements engineering
Formal methods for specification and verification
Fault monitoring and recovery for spacecraft autonomy