Marco Maida

Marco Maida is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), focusing on research areas such as Cyber-Physical Systems, Real-Time Systems, and Formal Verification. His work emphasizes the theoretical and practical challenges in ensuring timeliness and correctness in distributed and embedded systems. He explores methodologies for verified response-time analysis and the application of formal proof assistants like Coq to validate system behavior.

His research interests span Programming Languages, Security & Privacy, and Distributed Systems, with a particular emphasis on integrating formal methods into real-world applications. Recent contributions include advancements in automated response-time analysis for real-time workloads and the design of stylable scannable codes for practical embedded systems.

Maida’s publications reflect a commitment to bridging theoretical foundations with practical system design, particularly in contexts requiring rigorous guarantees such as industrial control systems or safety-critical applications. His work often targets explainable evidence of timeliness and security, leveraging formal verification tools to ensure robustness.