Requirements Engineering and NLP Techniques: Applying natural language processing techniques to improve the requirements engineering process in space programs;

Requirements Definition and Management: Exploring best practices for defining and managing requirements throughout the lifecycle of aerospace projects;

Automatic Analysis of Requirement Specifications: Developing tools for the automatic analysis of requirement specifications to enhance accuracy and efficiency;

Requirements Representation and Visualization: Investigating methods for representing and visualizing space programming requirements to ensure compliance and facilitate the design process;

Functional Decomposition: Investigating methods for breaking complex aerospace systems into manageable and understandable components.

Certification and Standards Compliance: Researching the impact of various international standards on the development process of safety-critical systems;

Dependable System Architecture: Designing architectures for safety-critical systems that ensure high availability and fault tolerance;

Safety-Critical Software Testing: Developing advanced testing methodologies to ensure the reliability and safety of critical software systems; 

Model-Based Development: Utilizing model-based approaches for designing and verifying safety-critical systems.

Robust Design: Ensuring that aerospace systems are robust and can handle variability without compromising performance;

COTS Components in Spacecraft Systems: Understanding the technical, cost, and schedule risk trades associated with the use of lower-grade electrical, electronic, and electromechanical (EEE) parts in spacecraft systems;

Risk Assessment for COTS in Space Systems: Evaluating the risks associated with using COTS devices in space systems, particularly considering radiation effects and their impact on reliability and performance.