Grigore Rosu

• Algebraic Methodology and Software Technology
• Formal Approaches to Software Testing and Runtime Verification
• Model Checking Software
• Tools and Algorithms for the Construction and Analysis of Systems