Doctoral research in embedded model-based engineering for distributed cyber-physical real-time systems, developing AI-driven methods that combine machine learning, optimization, formal analysis, reinforcement learning, and large language models for configuration and verification.