Secure Cloud Pipelines
Investigating continuous delivery architectures that embed security controls, software supply-chain assurance, and compliance evidence throughout the lifecycle.
Projects
Current research initiatives
Active programs that integrate methods from software engineering, cloud systems, artificial intelligence, and cybersecurity to address well-defined scientific and technical questions.
AI-Assisted Verification
Studying how learning-based techniques can support code review, test generation, and early defect detection while preserving human oversight and evaluation rigor.
Adaptive Threat Sensing
Developing and evaluating machine learning approaches for anomaly detection in cloud-native and edge environments under realistic operational constraints.