Seung Yeob SHIN

Seung Yeob SHIN is a Research Scientist at the Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg. He holds a PhD from the University of Massachusetts Amherst (2016), specializing in software engineering with a focus on system modeling and analysis through simulation and model checking frameworks. His work is centered at the Software Verification and Validation (V&V) Lab, led by Prof. Lionel Briand.

Research Interests:

• Software Engineering Methodologies
• Cyber-Physical Systems Testing
• Real-Time Systems Analysis
• AI-Driven Testing Techniques
• Model Checking & Simulation

Key Contributions:

• Pioneering work on fuzzing techniques for SDN controllers
• Development of probabilistic WCET estimation methods
• Advancements in metamorphic testing for CPS
• Control theory-based stress testing frameworks

Publications: Over 30 peer-reviewed articles focusing on testing methodologies for real-time systems, cyber-physical systems, and quantum programming analysis. Recent trends emphasize AI integration in software validation and uncertainty-aware system design.

Labs & Teams: Active member of the V&V Lab, collaborating on hardware-in-the-loop testing and embedded system validation projects.